scientific article; zbMATH DE number 4016182

MaRDI QIDQ3028335zbMATH OpenFDO

Authors Stéphane Kaplan

Publication date 1987

zbMATH Keywords

algebraic specificationsconditional rulesexecution timeinterpreters

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4092749
• scientific article; zbMATH DE number 4092748
• Recent Trends in Algebraic Development Techniques
• scientific article; zbMATH DE number 4092746
• A compiler for nondeterministic term rewriting systems

Cited in

(18)

• Fast Knuth-Bendix completion with a term rewriting system compiler
• Order-sorted completion: The many-sorted way
• Complexity analysis of term-rewriting systems
• A rewriting machine and optimization of strategies of term rewriting
• scientific article; zbMATH DE number 3978367 (Why is no real title available?)
• scientific article; zbMATH DE number 4092746 (Why is no real title available?)
• scientific article; zbMATH DE number 4092748 (Why is no real title available?)
• scientific article; zbMATH DE number 4092749 (Why is no real title available?)
• TSFC: A Structure-Preserving Form Compiler
• Completion-time optimization of rewrite-time goal solving
• Abstract rewriting with concrete operators
• Conditional rewrite rule systems with built-in arithmetic and induction
• A compiler for nondeterministic term rewriting systems
• Generated models and the -rule: the nondeterministic case
• Recent Trends in Algebraic Development Techniques
• Normalization by leftmost innermost rewriting
• Compiling concurrent rewriting onto the Rewrite Rule Machine
• A completion procedure for conditional equations

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