From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap

The development of programs from first-order specifications has as its main difficulty that of dealing with universal quantifiers. This work is focused in that point, i.e., in the construction of programs whose specifications involve universal quantifiers. This task is performed within a relational...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Baum, Gabriel Alfredo, Frias, Marcelo F., Haeberer, Armando Martin, Martínez López, Pablo E.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1996
Materias:
Informática
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/137421
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares