Constructing recursions by similarity
Autor(a) principal: | |
---|---|
Data de Publicação: | 2003 |
Outros Autores: | , |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Journal of the Brazilian Computer Society |
Texto Completo: | http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002003000200003 |
Resumo: | 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. |
id |
UFRGS-28_4a5d0ad0392033b656c8675cb9a9453f |
---|---|
oai_identifier_str |
oai:scielo:S0104-65002003000200003 |
network_acronym_str |
UFRGS-28 |
network_name_str |
Journal of the Brazilian Computer Society |
repository_id_str |
|
spelling |
Constructing recursions by similarityspecification transformationprogram synthesiscorrectness preservationprogram specificationA 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.Sociedade Brasileira de Computação2003-11-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002003000200003Journal of the Brazilian Computer Society v.9 n.1 2003reponame:Journal of the Brazilian Computer Societyinstname:Sociedade Brasileira de Computação (SBC)instacron:UFRGS10.1590/S0104-65002003000200003info:eu-repo/semantics/openAccessGalán,F. J.Cañete,J. M.Madrigal,V. J. Diazeng2004-09-14T00:00:00Zoai:scielo:S0104-65002003000200003Revistahttps://journal-bcs.springeropen.com/PUBhttps://old.scielo.br/oai/scielo-oai.phpjbcs@icmc.sc.usp.br1678-48040104-6500opendoar:2004-09-14T00:00Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)false |
dc.title.none.fl_str_mv |
Constructing recursions by similarity |
title |
Constructing recursions by similarity |
spellingShingle |
Constructing recursions by similarity Galán,F. J. specification transformation program synthesis correctness preservation program specification |
title_short |
Constructing recursions by similarity |
title_full |
Constructing recursions by similarity |
title_fullStr |
Constructing recursions by similarity |
title_full_unstemmed |
Constructing recursions by similarity |
title_sort |
Constructing recursions by similarity |
author |
Galán,F. J. |
author_facet |
Galán,F. J. Cañete,J. M. Madrigal,V. J. Diaz |
author_role |
author |
author2 |
Cañete,J. M. Madrigal,V. J. Diaz |
author2_role |
author author |
dc.contributor.author.fl_str_mv |
Galán,F. J. Cañete,J. M. Madrigal,V. J. Diaz |
dc.subject.por.fl_str_mv |
specification transformation program synthesis correctness preservation program specification |
topic |
specification transformation program synthesis correctness preservation program specification |
description |
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. |
publishDate |
2003 |
dc.date.none.fl_str_mv |
2003-11-01 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002003000200003 |
url |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002003000200003 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
10.1590/S0104-65002003000200003 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
text/html |
dc.publisher.none.fl_str_mv |
Sociedade Brasileira de Computação |
publisher.none.fl_str_mv |
Sociedade Brasileira de Computação |
dc.source.none.fl_str_mv |
Journal of the Brazilian Computer Society v.9 n.1 2003 reponame:Journal of the Brazilian Computer Society instname:Sociedade Brasileira de Computação (SBC) instacron:UFRGS |
instname_str |
Sociedade Brasileira de Computação (SBC) |
instacron_str |
UFRGS |
institution |
UFRGS |
reponame_str |
Journal of the Brazilian Computer Society |
collection |
Journal of the Brazilian Computer Society |
repository.name.fl_str_mv |
Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC) |
repository.mail.fl_str_mv |
jbcs@icmc.sc.usp.br |
_version_ |
1754734669595672576 |