Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
recursion practical » person practical, security practical, preparation practical
function computing » education computing, generation computing
practical theory » practice theory, political theory, critical theory
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
recursion practical » person practical, security practical, preparation practical
function computing » education computing, generation computing
practical theory » practice theory, political theory, critical theory
1
Gepubliceerd in 2006
Inhoudsopgave:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2006
Inhoudsopgave:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Volledige tekst
Elektronisch
E-boek
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Gepubliceerd in 2013
Inhoudsopgave:
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2008
Inhoudsopgave:
“... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2005
Inhoudsopgave:
“... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”Volledige tekst
Elektronisch
E-boek
6
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Gepubliceerd in 2005
Inhoudsopgave:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2010
Inhoudsopgave:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2007
Inhoudsopgave:
“... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...”Volledige tekst
Elektronisch
E-boek
9
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Gepubliceerd in 2013
Inhoudsopgave:
“... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”Volledige tekst
Elektronisch
E-boek
10
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Gepubliceerd in 2015
Inhoudsopgave:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2006
Inhoudsopgave:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2007
Inhoudsopgave:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2006
Inhoudsopgave:
“... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2007
Inhoudsopgave:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2005
Inhoudsopgave:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2010
Inhoudsopgave:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2008
Inhoudsopgave:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2015
Inhoudsopgave:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2005
Inhoudsopgave:
“... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”Volledige tekst
Elektronisch
E-boek
20
Inhoudsopgave:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
- 1
- 2
- Volgende »
- [2]