Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming reasoning » programming learning, programming designing, programming evolving
based tools » based tool, basic tools
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming reasoning » programming learning, programming designing, programming evolving
based tools » based tool, basic tools
1
Publicat 2005
Taula de continguts:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”Obtenir text complet
Electrònic
eBook
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicat 2013
Taula de continguts:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Obtenir text complet
Electrònic
eBook
5
Publicat 2006
Taula de continguts:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Obtenir text complet
Electrònic
eBook
7
Publicat 2007
Taula de continguts:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Obtenir text complet
Electrònic
eBook
9
Publicat 2006
Taula de continguts:
“... of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... Preferences Aggregation -- Ranked Modelling with Feature Selection Based on the CPL Criterion Functions -- A...”Obtenir text complet
Electrònic
eBook