Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
programming solving » programming evolving, programming solutions, programming building
solving program » solving programs, selling program, solving programmed
program https » programs https, program has, program help
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
programming solving » programming evolving, programming solutions, programming building
solving program » solving programs, selling program, solving programmed
program https » programs https, program has, program help
1
Published 2006
Table of Contents:
“... Programming -- Solving First-Order Constraints in the Theory of the Evaluated Trees -- Relaxation...”View full text
Electronic
eBook
2
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”View full text
Electronic
eBook
5
Table of Contents:
“... Solving Semidefinite Programs -- 6 An Interior-Point Algorithm for Semidefinite Programming -- 7...”
View full text
View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... and Computation -- Platypus: A Platform for Distributed Answer Set Solving -- Solving Hard ASP Programs...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Research -- Solving CSP Including a Universal Quantification -- Compositional Abstractions for Search...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”View full text
Electronic
eBook
9
Published 2011
Table of Contents:
“...-Evolution of Problem-Solving Genetic Programming Systems -- The Rubik Cube and GP Temporal Sequence Learning...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”View full text
Electronic
eBook
13
Table of Contents:
“...The World of Programming -- Programming Languages -- Programming Paradigms -- The Zoo...”
View full text
View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Rightful Place -- Requirements Engineering and Modeling 1 -- Information Use in Solving a Well-Structured...”View full text
Electronic
eBook
16
Table of Contents:
“...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
View full text
View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Analysis of Programs with Thread-Creation and Procedures -- Automatic Derivation of Compositional Rules...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting -- Computing Equilibria in Two...”View full text
Electronic
eBook