scientific article; zbMATH DE number 1638660

zbMATH Open0967.68505MaRDI QIDQ2736358FDOQ2736358

Authors: Emmanuel Kounalis, D. Lugiez 

Publication date: 29 August 2001

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (10)

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