Publicación: Combining interactive and automatic reasoning in first order theories of functional programs.
Fecha
2012-04-01
Autores
Bove, Ana
Dybjer, Peter
Sicard Ramírez, Andrés
dc.contributor.advisor
Título de la revista
ISSN de la revista
Título del volumen
Editor
Birkedal
Resumen
We propose a new approach to the computer-assisted verification of functional programs. We work in first order theories of functional programs which are obtained by extending Aczel?s first order theory of combinatory formal arithmetic with positive induct
Descripción
Palabras clave
Citación
dc.relation.uri
dc.identifier.doi
Colecciones
dc.rights
Birkedal