Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion practices » reduction practices, precaution practices, regulation practices
practices tools » practice tools, practical tools, practical tool
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion practices » reduction practices, precaution practices, regulation practices
practices tools » practice tools, practical tools, practical tool
1
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”View full text
Electronic
eBook
3
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”View full text
Electronic
eBook
4
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
5
Published 2006
Table of Contents:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Dynamic Logic for Recursive Procedures -- Mapped Separation Logic -- Unguessable Atoms: A Logical...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”View full text
Electronic
eBook
11
Table of Contents:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
View full text
View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”View full text
Electronic
eBook
14
Table of Contents:
“...Technology and Practice -- Summary -- P&I Diagrams -- Block Diagrams -- Signals -- Pneumatics...”
View full text
View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”View full text
Electronic
eBook