Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
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 2 » recursion _, recursion a, recursion 274
2 tools » 1 tools
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 2 » recursion _, recursion a, recursion 274
2 tools » 1 tools
1
Gepubliceerd in 2015
Inhoudsopgave:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2010
Inhoudsopgave:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2010
Inhoudsopgave:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2007
Inhoudsopgave:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2005
Inhoudsopgave:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2010
Inhoudsopgave:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”Volledige tekst
Elektronisch
E-boek
7
Inhoudsopgave:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
8
Inhoudsopgave:
“...1. Terms and Relations -- 2. The Language PCF -- 3. From Evaluation to Interpretation -- 4...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
9
Inhoudsopgave:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2008
Inhoudsopgave:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2005
Inhoudsopgave:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2006
Inhoudsopgave:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2006
Inhoudsopgave:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2010
Inhoudsopgave:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2010
Inhoudsopgave:
“... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2010
Inhoudsopgave:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2010
Inhoudsopgave:
“... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”Volledige tekst
Elektronisch
E-boek