scientific article; zbMATH DE number 4092748

zbMATH Open0667.68033MaRDI QIDQ3819984FDOQ3819984

Authors: Alfons Geser, Heinrich Hussmann, Andreas Mück 

Publication date: 1988

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

Recommendations

• Publication:3028335
• scientific article; zbMATH DE number 4092749
• A compiler for nondeterministic term rewriting systems
• scientific article; zbMATH DE number 4092746
• scientific article; zbMATH DE number 4092747

zbMATH Keywords

algebraic specificationsspeedupcompilerrecursive functioninterpreterconditional term rewriting systemsPASCAL

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Cited In (10)

• Normalization by leftmost innermost rewriting
• Fast Knuth-Bendix completion with a term rewriting system compiler
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• TSFC: A Structure-Preserving Form Compiler
• Title not available (Why is that?)
• Title not available (Why is that?)
• A compiler for nondeterministic term rewriting systems
• A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development

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