Semantics-directed compilation of nonlinear patterns

DOI10.1016/0020-0190(91)90148-BzbMATH Open0722.68026OpenAlexW1993701113MaRDI QIDQ756408FDOQ756408

Authors: Olivier Denvy 

Publication date: 1991

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(91)90148-b

Recommendations

• Topics in semantics-based program manipulation
• Optimal solutions to pattern matching problems
• scientific article; zbMATH DE number 1786226
• Compiling regular patterns
• scientific article; zbMATH DE number 4037164

zbMATH Keywords

partial evaluationprogram derivationcompiler generation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cites Work

• Automatic autoprojection of recursive equations with global variables and abstract data types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Topics in semantics-based program manipulation
• Principles of plasma pattern and alternative structure compilation
• Formal validation of pattern matching code

This page was built for publication: Semantics-directed compilation of nonlinear patterns

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q756408)