Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program termination » program verification, proving termination
function computing » education computing, generation computing
termination https » termination sets, termination sites, termination graphs
https function » its function, sites function, ups function
program termination » program verification, proving termination
function computing » education computing, generation computing
termination https » termination sets, termination sites, termination graphs
https function » its function, sites function, ups function
1
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... and Practice of Proving Termination -- Narrowing, Abstraction and Constraints for Proving Properties...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
8
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...”View full text
Electronic
eBook