Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
programming function » programming functional, programming functionals, programme function
function program » functional program, functions programs, functional programs
program held » programs held, programme held, programs help
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
programming function » programming functional, programming functionals, programme function
function program » functional program, functions programs, functional programs
program held » programs held, programme held, programs help
1
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publié 2015
Table des matières:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Accéder au texte intégral
Électronique
eBook
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publié 2014
Table des matières:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Accéder au texte intégral
Électronique
eBook
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publié 2013
Table des matières:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Accéder au texte intégral
Électronique
eBook
4
Publié 2008
Table des matières:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Accéder au texte intégral
Électronique
eBook
5
Publié 2012
Table des matières:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Accéder au texte intégral
Électronique
eBook
6
Publié 2008
Table des matières:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Accéder au texte intégral
Électronique
eBook
7
Publié 2013
Table des matières:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”Accéder au texte intégral
Électronique
eBook
8
Publié 2010
Table des matières:
“... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...”Accéder au texte intégral
Électronique
eBook
9
Publié 2013
Table des matières:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Accéder au texte intégral
Électronique
eBook
10
Publié 2007
Table des matières:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”Accéder au texte intégral
Électronique
eBook
11
Publié 2013
Table des matières:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”Accéder au texte intégral
Électronique
eBook
12
Publié 2010
Table des matières:
“... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”Accéder au texte intégral
Électronique
eBook
13
Publié 2013
Table des matières:
“... Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon...”Accéder au texte intégral
Électronique
eBook
14
Publié 2007
Table des matières:
“... Bounds -- A Lower Bound on Web Services Composition -- Logical Characterizations of Bisimulations...”Accéder au texte intégral
Électronique
eBook
15
Publié 2008
Table des matières:
“... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...”Accéder au texte intégral
Électronique
eBook
16
Publié 2010
Table des matières:
“... Technique -- A Method for Filtering Large Conceptual Schemas -- Integration and Composition -- Measuring...”Accéder au texte intégral
Électronique
eBook
17
Publié 2008
Table des matières:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”Accéder au texte intégral
Électronique
eBook
18
Publié 2012
Table des matières:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Accéder au texte intégral
Électronique
eBook
19
Publié 2007
Table des matières:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”Accéder au texte intégral
Électronique
eBook
20
Publié 2010
Table des matières:
“... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”Accéder au texte intégral
Électronique
eBook