scientific article; zbMATH DE number 1231655

MaRDI QIDQ4222980zbMATH OpenFDO

Authors Eelco Visser, Zine-El-Abidine Benaissa

Publication date 7 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15004

zbMATH Keywords

rewriting language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Recommendations

• A higher-order implementation of rewriting
• Algebraic Methodology and Software Technology
• Rewriting techniques for program synthesis
• A rewrite framework for language definitions and for generation of efficient interpreters
• scientific article; zbMATH DE number 3921957
• An approach to declarative programming based on a rewriting logic
• Context rewriting
• scientific article; zbMATH DE number 1405629
• Implementing contextual rewriting

Cited in

(8)

• Typed generic traversal with term rewriting strategies
• Maude: specification and programming in rewriting logic
• Rewriting logic: Roadmap and bibliography
• Twenty years of rewriting logic
• A logic for rewriting strategies
• Term-graph rewriting in \textsc{Tom} using relative positions
• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Sequential value passing yields a Kleene theorem for processes

Describes a project that uses

Uses Software

• OBJ3

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222980)