Combining interactive and automatic reasoning in first order theories of functional programs.

Fecha

2012-04-01

Autores

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

URI

http://hdl.handle.net/10784/27387

Colecciones

Capítulos de libros