Show simple item record

Report

dc.creatorGalán Morillo, Francisco Josées
dc.creatorCañete Valdeón, José Migueles
dc.date.accessioned2022-01-11T09:20:05Z
dc.date.available2022-01-11T09:20:05Z
dc.date.issued2004
dc.identifier.citationGalán Morillo, F.J., y Cañete Valdeón, J.M. (2004). Executing Assertions via Synthesized Logic Programs. https://hdl.handle.net/11441/128738.
dc.identifier.urihttps://hdl.handle.net/11441/128738
dc.description.abstractProgramming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing for- mal specifications is essential in order to test automatically an imple mentation against its assertions. However, formal assertions may de scribe recursive models which are di±cult to identify so current assertion checkers limit, in a considerable way, the expressivity of the assertion language. In this paper, we are interested in showing how transforma- tional synthesis can help to execute \expressive" assertions r of the form 8¹x(r(¹x) , Q¹yR(¹x; ¹y)) where Q is either an existential or universal quan- tifier and R a quantifier free formula in the language of a formal theory C we call assertion context. This sort of theories is interesting because it presents a balance between expressiveness for writing assertions and existence of effective methods for compiling and executing them.es
dc.formatapplication/pdfes
dc.format.extent25es
dc.language.isoenges
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectAssertiones
dc.subjectAutomatic testinges
dc.subjectCorrectnesses
dc.subjectDefinite logic programes
dc.subjectFormal specificationes
dc.subjectSynthesises
dc.subjectTransformationes
dc.titleExecuting Assertions via Synthesized Logic Programses
dc.typeinfo:eu-repo/semantics/reportes
dcterms.identifierhttps://ror.org/03yxnpp24
dc.type.versioninfo:eu-repo/semantics/publishedVersiones
dc.rights.accessRightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticoses
dc.relation.publisherversionhttp://www.lsi.us.es/investigacion/informes.phpes
dc.publication.endPage25es

FilesSizeFormatViewDescription
LSI-2004-1.pdf304.4KbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional