scientific article; zbMATH DE number 4092749

MaRDI QIDQ3819985zbMATH OpenFDO

Authors Thierry Heuillard

Publication date 1988

zbMATH Keywords

pattern matchingcorrectnesscompilerimplementationsconditional term rewriting systemsTerminationoptimizations

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Publication:3028335
• scientific article; zbMATH DE number 4092748
• Recent Trends in Algebraic Development Techniques
• Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings
• scientific article; zbMATH DE number 4092755

Cited in

(16)

• Compiling concurrent rewriting onto the Rewrite Rule Machine
• Term Rewriting and Applications
• scientific article; zbMATH DE number 4016182 (Why is no real title available?)
• Computing more specific versions of conditional rewriting systems
• Recent Trends in Algebraic Development Techniques
• A compact fixpoint semantics for term rewriting systems
• A New Method for Compiling Parallel Replacement Rules
• Lazy rewriting and eager machinery
• scientific article; zbMATH DE number 4092758 (Why is no real title available?)
• Optimization by non-deterministic, lazy rewriting
• Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
• scientific article; zbMATH DE number 4164136 (Why is no real title available?)
• scientific article; zbMATH DE number 4092744 (Why is no real title available?)
• scientific article; zbMATH DE number 4092746 (Why is no real title available?)
• Conditional rewrite rule systems with built-in arithmetic and induction
• scientific article; zbMATH DE number 4092748 (Why is no real title available?)

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