Download PDFOpen PDF in browserA Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting19 pages•Published: June 19, 2013AbstractIn this paper we present a novel condensed narrowing-like semantics that contains the minimal information which is needed to describe compositionally all possible rewritings of a term rewriting system. We provide its goal-dependent top-down definition and, more importantly, an equivalent goal-independent bottom-up fixpoint characterization.We prove soundness and completeness w.r.t. the small-step behavior of rewriting for the full class of term rewriting systems. Keyphrases: bottom up semantics, term rewriting, term rewriting systems In: Laura Kovacs and Temur Kutsia (editors). SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science, vol 15, pages 31-49.
|