Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
verification function » verification functional, verification foundations, verification condition
program verification » formal verification
parallel programs » parallel programming
programs program » programming program
function https » functions https, fiction https
verification function » verification functional, verification foundations, verification condition
program verification » formal verification
parallel programs » parallel programming
programs program » programming program
function https » functions https, fiction https
1
Julkaistu 2006
Sisällysluettelo:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2008
Sisällysluettelo:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2005
Sisällysluettelo:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2013
Sisällysluettelo:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2006
Sisällysluettelo:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2015
Sisällysluettelo:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2013
Sisällysluettelo:
“... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2008
Sisällysluettelo:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”Hae kokoteksti
Elektroninen
E-kirja
9
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Julkaistu 2015
Sisällysluettelo:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2005
Sisällysluettelo:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Hae kokoteksti
Elektroninen
E-kirja
11
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Julkaistu 2014
Sisällysluettelo:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2006
Sisällysluettelo:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2007
Sisällysluettelo:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2008
Sisällysluettelo:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2013
Sisällysluettelo:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2012
Sisällysluettelo:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Hae kokoteksti
Elektroninen
E-kirja
17
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Julkaistu 2006
Sisällysluettelo:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2013
Sisällysluettelo:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2005
Sisällysluettelo:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Hae kokoteksti
Elektroninen
E-kirja
20
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Julkaistu 2013
Sisällysluettelo:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Hae kokoteksti
Elektroninen
E-kirja
- 1
- 2
- 3
- 4
- Seuraava »
- [4]