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

Vista sencilla de ítem
dc.creatorBove, Ana
dc.creatorDybjer, Peter
dc.creatorSicard Ramírez, Andrés
dc.date.accessioned2021-03-26T21:33:46Z
dc.date.available2021-03-26T21:33:46Z
dc.date.issued2012-04-01
dc.description.abstractWe 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
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=4962
dc.identifier.urihttp://hdl.handle.net/10784/27387
dc.languageeng
dc.publisherBirkedal
dc.relationDOI;http://link.springer.com/chapter/10.1007
dc.rightsBirkedal
dc.sourceFoundations of Software Science and Computational Structures
dc.sourceISBN: 9783642287282
dc.titleCombining interactive and automatic reasoning in first order theories of functional programs.
dc.typeinfo:eu-repo/semantics/bookPart
dc.typeCapítulo de un Libro
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Colecciones

Capítulos de libros