Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
compositional program » composition programs, computational program, compositional problems
https compositional » nets compositional, chains compositional, charts compositional
program https » programs https, program has, program help
program path » program paths, program part, program pacd
path https » data https, health https
compositional program » composition programs, computational program, compositional problems
https compositional » nets compositional, chains compositional, charts compositional
program https » programs https, program has, program help
program path » program paths, program part, program pacd
path https » data https, health https
1
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... -- Composition Management Interfaces for a Predictable Assembly -- Path-Based Error Propagation Analysis...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
5
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
6
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...A Bibliography of Willem-Paul de Roever -- Playing Savitch and Cooking Games -- Compositionality...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
9
Table of Contents:
“....NET Graphics Programming -- Drawing Surfaces -- Pens and Brushes -- Text and Fonts -- Images...”
View full text
View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
15
Table of Contents:
“... -- Advanced Compositing -- Plug-Ins and Scripting -- Additional Topics....”
View full text
View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“...Testing Methodologies -- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...-Time Automata with Concave Path Conditions -- Decidable Compositions of O-Minimal Automata...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...: Attacking Path Explosion in Constraint-Based Test Generation -- Demand-Driven Compositional Symbolic...”View full text
Electronic
eBook