Mostrar el registro sencillo del ítem
Informe
Executing Assertions via Synthesized Logic Programs
dc.creator | Galán Morillo, Francisco José | es |
dc.creator | Cañete Valdeón, José Miguel | es |
dc.date.accessioned | 2022-01-11T09:20:05Z | |
dc.date.available | 2022-01-11T09:20:05Z | |
dc.date.issued | 2004 | |
dc.identifier.citation | Galá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.uri | https://hdl.handle.net/11441/128738 | |
dc.description.abstract | Programming 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.format | application/pdf | es |
dc.format.extent | 25 | es |
dc.language.iso | eng | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Assertion | es |
dc.subject | Automatic testing | es |
dc.subject | Correctness | es |
dc.subject | Definite logic program | es |
dc.subject | Formal specification | es |
dc.subject | Synthesis | es |
dc.subject | Transformation | es |
dc.title | Executing Assertions via Synthesized Logic Programs | es |
dc.type | info:eu-repo/semantics/report | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.publisherversion | http://www.lsi.us.es/investigacion/informes.php | es |
dc.publication.endPage | 25 | es |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
LSI-2004-1.pdf | 304.4Kb | [PDF] | Ver/ | |