Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
program termination » program verification, proving termination
function functions » functions functions, function function, junction functions
termination https » termination sets, termination sites, termination graphs
functions https » foundations https
https function » its function, sites function, ups function
program termination » program verification, proving termination
function functions » functions functions, function function, junction functions
termination https » termination sets, termination sites, termination graphs
functions https » foundations https
https function » its function, sites function, ups function
1
Publicat 2006
Taula de continguts:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Obtenir text complet
Electrònic
eBook
5
Matèries:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
6
Publicat 2012
Taula de continguts:
“... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Obtenir text complet
Electrònic
eBook
9
Publicat 2006
Taula de continguts:
“... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”Obtenir text complet
Electrònic
eBook
10
per Umar, Kabir, Md Sultan, Abu Bakar, Zulzalil, Hazura, Admodisastro, Novia Indriaty, Abdullah @ Selimun, Mohd Taufik
Publicat 2018
“... Based CFG reachability problems, addressable using search algorithms, such as Evolutionary Programming...”Publicat 2018
Obtenir text complet
Article
11
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“.../Output Behavior of Programs -- Unrestricted Termination and Non-termination Arguments for Bit-Vector...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Obtenir text complet
Electrònic
eBook
13
Publicat 2006
Taula de continguts:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Obtenir text complet
Electrònic
eBook
15
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obtenir text complet
Electrònic
eBook
16
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicat 2006
Taula de continguts:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Obtenir text complet
Electrònic
eBook
17
Publicat 2007
Taula de continguts:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”Obtenir text complet
Electrònic
eBook
18
Publicat 2008
Taula de continguts:
“...Program Termination -- Proving Termination with (Boolean) Satisfaction -- Termination Analysis...”Obtenir text complet
Electrònic
eBook
19
Publicat 2005
Taula de continguts:
“... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”Obtenir text complet
Electrònic
eBook
20
Publicat 2005
Taula de continguts:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Obtenir text complet
Electrònic
eBook