Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
compositional program » composition programs, computational program, compositional problems
program compositional » program composition, program computational, problem compositional
programmed program » programmes programme, programming program, programs program
program https » programs https, program has, program help
compositional program » composition programs, computational program, compositional problems
program compositional » program composition, program computational, problem compositional
programmed program » programmes programme, programming program, programs 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
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
5
Published 2010
Table of Contents:
“... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”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 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”View full text
Electronic
eBook
9
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
10
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
11
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
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