Publicación:
Combining interactive and automatic reasoning in first order theories of functional programs.

dc.contributor.authorBove, Ana
dc.contributor.authorDybjer, Peter
dc.contributor.authorSicard 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.urihttps://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.type.coarversionhttp://purl.org/coar/resource_type/c_3248
dc.type.redcolhttp://purl.org/redcol/resource_type/CAP_LIB
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dspace.entity.typePublication

Archivos