Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs session » problems session
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
function java » function jane, function jason, function james
programs session » problems session
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
function java » function jane, function jason, function james
1
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- An Online Component Deployment System for Dynamic Collaborative Sessions -- Complexity in Collaborative...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...”View full text
Electronic
eBook