scientific article; zbMATH DE number 1638660

MaRDI QIDQ2736358zbMATH OpenFDO

Authors Emmanuel Kounalis, D. Lugiez

Publication date 29 August 2001

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 4037164
• scientific article; zbMATH DE number 176147
• PATTERN MATCHING CODE MINIMIZATION IN REWRITING-BASED PROGRAMMING LANGUAGES
• Recursive Functions with Pattern Matching in Interaction Nets
• Single elementary associative-commutative matching

Cited in

(10)

• Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
• Refined compilation of pattern-matching for functional languages
• More problems in rewriting
• ELAN from a rewriting logic point of view
• Principles of plasma pattern and alternative structure compilation
• Higher-order associative commutative pattern matching for component retrieval
• Pattern matching compilation of functions defined in context-free languages
• Associative-commutative discrimination nets
• A compiler for nondeterministic term rewriting systems
• Compiling regular patterns

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