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