Lazy rewriting and eager machinery

DOI10.1007/3-540-59200-8_54MaRDI QIDQ5055828zbMATHOpenAlexFDO

Authors J. F. Th. Kamperman, H. R. J. Walters

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59200-8_54

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Termination of lazy rewriting revisited
• Lazy rewriting and context-sensitive rewriting
• scientific article; zbMATH DE number 549962
• Comparison of priority rules in pattern matching and term rewriting
• Lazy context cloning for non-deterministic graph rewriting

Cites work

• scientific article; zbMATH DE number 4092749 (Why is no real title available?)
• scientific article; zbMATH DE number 3679159 (Why is no real title available?)
• scientific article; zbMATH DE number 108369 (Why is no real title available?)
• scientific article; zbMATH DE number 512903 (Why is no real title available?)
• scientific article; zbMATH DE number 675533 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 234035 (Why is no real title available?)
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Computing in systems described by equations
• Thunks

Cited in

(10)

• Lazy context cloning for non-deterministic graph rewriting
• Lazy rewriting and context-sensitive rewriting
• scientific article; zbMATH DE number 5136280 (Why is no real title available?)
• Lazy narrowing: strong completeness and eager variable elimination
• Termination of lazy rewriting revisited
• scientific article; zbMATH DE number 177788 (Why is no real title available?)
• Infinitary rewriting: meta-theory and convergence
• Lazy variable-renumbering makes substitution cheap
• Applications and extensions of context-sensitive rewriting
• From Stack Traces to Lazy Rewriting Sequences

Describes a project that uses

Uses Software

• OBJ3

This page was built for publication: Lazy rewriting and eager machinery

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