Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program termination » program verification, proving termination
function structures » functions structures, function structure, functional structures
termination https » termination sets, termination sites, termination graphs
https function » its function, sites function, ups function
program termination » program verification, proving termination
function structures » functions structures, function structure, functional structures
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 2010
Table of Contents:
“... with Built-In Numbers and Collection Data Structures -- Semantic Labelling for Proving Termination...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”View full text
Electronic
eBook
6
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“.../Output Behavior of Programs -- Unrestricted Termination and Non-termination Arguments for Bit-Vector...”View full text
Electronic
eBook
7
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
8
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... -- Termination Analysis of Model Transformations by Petri Nets -- Non-functional Analysis of Distributed Systems...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Fundamental Concepts for the Structuring of Functionality into Modular Parts....”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“...Invited Paper -- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... -- Analysis of Potential Vulnerabilities in Payment Terminals -- Wireless Sensor Nodes -- Near Field...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- Developments in Data Structure Research During the First 25 Years of FSTTCS -- Inference Systems for Logical...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... DISCRETE-TIME OPTIMAL CONTROL WITH TERMINAL CONSTRAINTS -- A DISTURBANCE COMPENSATION CONTROL FOR AN ACTIVE...”View full text
Electronic
eBook
20
Table of Contents:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text
View full text
Electronic
eBook