Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing programs » processing programmed, processing problems, processing products
program composition » process composition, protein composition, proximate composition
composition program » composition programs, compositional program, composition problem
programs program » programming program
program https » programs https, program has, program help
processing programs » processing programmed, processing problems, processing products
program composition » process composition, protein composition, proximate composition
composition program » composition programs, compositional program, composition problem
programs program » programming program
program https » programs https, program has, program help
1
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Oral Presentations -- Training Time and Team Composition Robustness in Evolved Multi-agent Systems...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Abstraction Simplification -- Compositional Closure for Bayes Risk in Probabilistic Noninterference -- Session...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
9
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”View full text
Electronic
eBook
10
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Conformance and Contract Compliance -- Session: Composition Design and Analysis -- A Process-Algebraic...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”View full text
Electronic
eBook