Code selection by inversion of order-sorted derivors

DOI10.1016/0304-3975(90)90145-8MaRDI QIDQ914361zbMATH OpenOpenAlexFDO

Authors Robert Giegerich

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(90)90145-8

zbMATH Keywords

algebraic model of code generationderivor inversionorder-sorted term algebraspattern matchingtree languages

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Formal languages and automata (68Q45)

Recommendations

• Publication:3484344
• Tree automata for code selection
• scientific article; zbMATH DE number 176147
• Towards an algebraic specification of code generation
• Implementation and Application of Automata

Cites work

• scientific article; zbMATH DE number 4155861 (Why is no real title available?)
• scientific article; zbMATH DE number 3827174 (Why is no real title available?)
• scientific article; zbMATH DE number 3921947 (Why is no real title available?)
• scientific article; zbMATH DE number 3938559 (Why is no real title available?)
• scientific article; zbMATH DE number 3949706 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• Optimal Code Generation for Expression Trees
• Pattern Matching in Trees
• Semantics of computation
• Tree generating regular systems

Cited in

(5)

• Tree automata for code selection
• Pattern-matching algorithms based on term rewrite systems
• Code generation based on formal BURS theory and heuristic search
• Algebraic dynamic programming on trees
• scientific article; zbMATH DE number 4155861 (Why is no real title available?)

Describes a project that uses

Uses Software

• NARROWER

This page was built for publication: Code selection by inversion of order-sorted derivors

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