scientific article; zbMATH DE number 177788

MaRDI QIDQ4038666zbMATH OpenFDO

Authors Richard Kennaway

Publication date 18 May 1993

zbMATH Keywords

ambiguous term rewrite systemsfunctional languagesspecificitytextual ordering

Mathematics Subject Classification ID

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

Recommendations

• Comparison of priority rules in pattern matching and term rewriting
• scientific article; zbMATH DE number 4037164
• Lazy rewriting and eager machinery
• Functional and Logic Programming
• scientific article; zbMATH DE number 1708150

Cited in

(4)

• Operational semantics of rewriting with priorities
• scientific article; zbMATH DE number 4037164 (Why is no real title available?)
• Normalization by leftmost innermost rewriting
• Comparison of priority rules in pattern matching and term rewriting

Describes a project that uses

Uses Software

• DACTL
• Miranda

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 Q4038666)