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.
La espiritualidad del pueblo malecu conforma una particular visión del mundo, según la cual, sus divinidades Tócu maráma habitan los ríos del territorio ancestral. A la conformación física del territorio le subyace una cartografía sagrada con imbricaciones simbólicas profundas en la manera de comprenderse a sí mismos y de cómo fundamentan el dinamismo de las relaciones sociales, y, en última instancia, cómo se vinculan con la naturaleza y de forma particular con la tierra, lugar de retorno al morir. El subsuelo es espacio de reunión con sus parientes y con todas aquellas personas quienes en vida siguieron las normativas divinas. Palabras clave: Lo sagrado, espiritualidad, pueblos indígenas, territorio
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.