Algebraic processing of programming languages

DOI10.1016/S0304-3975(97)00270-3zbMath0902.68032MaRDI QIDQ1129126

Teodor Rus

Publication date: 13 August 1998

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

zbMATH Keywords

languagehomomorphismalgebracompilerderived-operation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items (2)

Specification languages in algebraic compilers ⋮ A unified language processing methodology

Uses Software

• ML

Cites Work

• Algebraic construction of compilers
• A theory of type polymorphism in programming
• Using graph coloring in an algebraic compiler
• An algebraic model for programming languages
• Parsing languages by pattern matching
• A Scheme for the Automatic Inference of Variable Types
• Data Types as Lattices
• CONTEXT-FREE ALGEBRAS
• The theory of languages
• Heterogeneous algebras
• Algebras with a Scheme of Operators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic processing of programming languages