dc.creator | Galán Morillo, Francisco José | es |
dc.creator | Cañete Valdeón, José Miguel | es |
dc.creator | Díaz Madrigal, Víctor Jesús | es |
dc.date.accessioned | 2020-06-18T07:50:48Z | |
dc.date.available | 2020-06-18T07:50:48Z | |
dc.date.issued | 2003 | |
dc.identifier.citation | Galán Morillo, F.J., Cañete Valdeón, J.M. y Díaz Madrigal, V.J. (2003). Constructing Recursions by Similarity. Journal of the Brazilian Computer Society, 9 (1) | |
dc.identifier.issn | 0104-6500 | es |
dc.identifier.uri | https://hdl.handle.net/11441/97971 | |
dc.description.abstract | A formal specification can describe software models
which are difficult to program. Transformational methods
based on fold/unfold strategies have been proposed to
palliate this problem. The objective of applying
transformations is to filter out a new version of the
specification where recursion may be introduced by a
folding step. Among many problems, the “eureka” about
when and how to define a new predicate is difficult to find
automatically. We propose a new version of the folding
rule which decides automatically how to introduce new
predicates in a specification. Our method is based on finding
similarities between formulas represented as parsing trees
and it constitutes an assistance to the complex problem of
deriving recursive specifications from non recursive ones. | es |
dc.format | application/pdf | es |
dc.format.extent | 10 | es |
dc.language.iso | eng | es |
dc.publisher | Sociedade Brasileira de Computação | es |
dc.relation.ispartof | Journal of the Brazilian Computer Society, 9 (1) | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Specification transformation | es |
dc.subject | Program synthesis | es |
dc.subject | Correctness preservation | es |
dc.subject | Program specification | es |
dc.title | Constructing Recursions by Similarity | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | 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 | https://www.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002003000200003&lng=en&nrm=iso&tlng=en | es |
dc.identifier.doi | 10.1590/S0104-65002003000200003 | es |
dc.journaltitle | Journal of the Brazilian Computer Society | es |
dc.publication.volumen | 9 | es |
dc.publication.issue | 1 | es |