Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs termination » program termination, program determination, programs derivation
functionals function » function function, functions functional, function dysfunction
termination https » termination sets, termination sites, termination graphs
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
programs termination » program termination, program determination, programs derivation
functionals function » function function, functions functional, function dysfunction
termination https » termination sets, termination sites, termination graphs
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
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 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
5
Subjects:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
View full text
View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”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
Published 2012
Table of Contents:
“... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”View full text
Electronic
eBook
10
by Umar, Kabir, Md Sultan, Abu Bakar, Zulzalil, Hazura, Admodisastro, Novia Indriaty, Abdullah @ Selimun, Mohd Taufik
Published 2018
“... Based CFG reachability problems, addressable using search algorithms, such as Evolutionary Programming...”Published 2018
View full text
Article
11
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
12
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
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 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
15
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
16
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
17
Published 2007
Table of Contents:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...Program Termination -- Proving Termination with (Boolean) Satisfaction -- Termination Analysis...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook