scientific article; zbMATH DE number 4092749

zbMATH Open0667.68034MaRDI QIDQ3819985FDOQ3819985

Authors: Thierry Heuillard 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

pattern matchingcorrectnesscompilerimplementationsconditional term rewriting systemsTerminationoptimizations

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (16)

• Title not available (Why is that?)
• Conditional rewrite rule systems with built-in arithmetic and induction
• Title not available (Why is that?)
• Recent Trends in Algebraic Development Techniques
• Term Rewriting and Applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• A New Method for Compiling Parallel Replacement Rules
• Title not available (Why is that?)
• A compact fixpoint semantics for term rewriting systems
• Compiling concurrent rewriting onto the Rewrite Rule Machine
• Lazy rewriting and eager machinery
• Computing more specific versions of conditional rewriting systems
• Title not available (Why is that?)
• Optimization by non-deterministic, lazy rewriting
• Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories

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)