Mostrar el registro sencillo del ítem
Ponencia
Folding by Similarity
dc.creator | Galán Morillo, Francisco José | es |
dc.creator | Cañete Valdeón, José Miguel | es |
dc.date.accessioned | 2020-06-18T08:07:11Z | |
dc.date.available | 2020-06-18T08:07:11Z | |
dc.date.issued | 2001 | |
dc.identifier.citation | Galán Morillo, F.J. y Cañete Valdeón, J.M. (2001). Folding by Similarity. En APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming Évora, Portugal: Gruppo Ricercatori e Utenti Logic Programming. | |
dc.identifier.uri | https://hdl.handle.net/11441/97972 | |
dc.description.abstract | A formal specification can describe software models which are di±cult to program. Transformational methods based on fold/unfold strategies have been proposed to palliate this problem. The objective of applying transfor- mations 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 di±cult 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 | 15 | es |
dc.language.iso | eng | es |
dc.publisher | Gruppo Ricercatori e Utenti Logic Programming | es |
dc.relation.ispartof | APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming (2001), | |
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 | Folding by Similarity | es |
dc.type | info:eu-repo/semantics/conferenceObject | 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 | https://www.programmazionelogica.it/2001/09/proceedings-joint-conference-on-declarative-programming-appia-gulp-prode-2001/ | es |
dc.eventtitle | APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming | es |
dc.eventinstitution | Évora, Portugal | es |
dc.relation.publicationplace | Pisa, Italia | es |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Folding by similarity.pdf | 274.2Kb | [PDF] | Ver/ | |