Suggestion de sujets dans votre recherche.
Recherches alternatives:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
recursion a » recursion _, recursions g, recursions m
1
Image de couverture de livre
Publié 2006
Table des matières: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
2
Image de couverture de livre
Publié 2005
Table des matières: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
3
Image de couverture de livre
Publié 2010
Table des matières: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
4
Image de couverture de livre
Publié 2007
Table des matières: “... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
5
Image de couverture de livre
Table des matières: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
6
Image de couverture de livre
Sujets: “...Computers....”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
7
Image de couverture de livre
Publié 2013
Table des matières: “... -- On Bar Recursion and Choice in a Classical Setting -- Proofs, Upside Down: A Functional Correspondence...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
8
Image de couverture de livre
Publié 2013
Table des matières: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
9
Image de couverture de livre
Table des matières: “...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
10
Image de couverture de livre
Publié 2006
Table des matières: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
11
Image de couverture de livre
Publié 2005
Table des matières: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
12
Image de couverture de livre
Table des matières: “... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
13
Image de couverture de livre
Publié 2014
Table des matières: “... Programs -- Property-Directed Shape Analysis -- Shape Analysis via Second-Order Bi-Abduction -- ICE: A...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
14
Image de couverture de livre
Publié 2015
Table des matières: “... Checking Toolset for Kernel P Systems -- A New Strategy to Improve the Performance of PDP-systems...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
15
Image de couverture de livre
Publié 2010
Table des matières: “...-step EMG Classification Algorithm for Human-Computer Interaction -- Affective Assessment of a Computer...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
16
Image de couverture de livre
Table des matières: “...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
17
Image de couverture de livre
Publié 2006
Table des matières: “... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
18
Image de couverture de livre
Publié 2007
Table des matières: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
19
Image de couverture de livre
Publié 2005
Table des matières: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
20
Image de couverture de livre
Publié 2013
Table des matières: “... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel — Enregistrer la recherche