Semantics-directed compilation of nonlinear patterns

DOI10.1016/0020-0190(91)90148-BMaRDI QIDQ756408zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

partial evaluationprogram derivationcompiler generation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

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

Cites work

• scientific article; zbMATH DE number 42475 (Why is no real title available?)
• scientific article; zbMATH DE number 43947 (Why is no real title available?)
• scientific article; zbMATH DE number 177776 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• Automatic autoprojection of recursive equations with global variables and abstract data types

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)