OPAC

Your search

Query: PROGRAM Document Type: Sin Especificar Repository: 65

Sort by Score Title Year -

1-10 from 25 results (0.04 seconds)

Title: Internal program extraction in the calculus of inductive constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: An operational approach to program extraction in the Calculus of Constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: Reasoning about functional programs by combining interactive and automatic proofs
Language: Inglés
Repository: 65
Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory

Acceder
Title: Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
Language: Español
Repository: 65
Subject: Software Program Verification / Formal Methods / Correctness Proofs / Model Checking / Métodos Formales / Verificación de Sistemas Embebidos / Especificación y Prueba Asistida de Propiedades.

Acceder
Title: An approach to subroutine elimination
Language: in
Repository: 65
Subject: BYTE CODE VERIFIERS / SUBROUTINES / JAVA CARD / CQQ / FORMAL PROOFS

Acceder
Title: Hfusion : a fusion tool based on acid rain plus extensions
Language: Inglés
Repository: 65
Subject: Deforestation / Acid Rain / Fusion / Hylomorphism / Paramorphism / Functional Programming Languages / Generic Programming

Acceder
Title: Course-of-values recursion in Martin-Löf's type theory
Language: Inglés
Repository: 65
Subject: Teoria de tipos / Logical frameworks / Alf
Title: Mathematics and MateFun, a natural way to introduce programming into school
Language: Inglés
Repository: 65
Subject: Mathematics / Learning / Programming
Title: La pertinencia de la Educación Superior: Análisis del concepto y sus aplicaciones en los procesos de acreditación de las carreras de Arquitectura y Medicina de la Universidad de la República
Language: Español
Repository: 65
Subject: Enseñanza superior / Pertinencia / Acreditación

Acceder
Title: 1 adolescente. 1 computadora. 1 robot.
Language: Español
Repository: 65
Subject: Robótica / Investigación / Extensión universitaria / Enseñanza / Robotics / Research / Contribution to community / Teaching

Acceder

« Previous 1 2 3 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search