Attribute grammars as record calculus. -- A structure-oriented denotational semantics of attribute grammars by using Cardelli's record calculus
From MaRDI portal
Publication:2702091
Recommendations
- scientific article; zbMATH DE number 2080046
- Attribute grammars. Definitions, systems and bibliography
- Attribute Grammars and Categorical Semantics
- scientific article; zbMATH DE number 3980524
- scientific article; zbMATH DE number 4090774
- scientific article; zbMATH DE number 4037255
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
- scientific article; zbMATH DE number 512888
- scientific article; zbMATH DE number 58303
This page was built for publication: Attribute grammars as record calculus. -- A structure-oriented denotational semantics of attribute grammars by using Cardelli's record calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2702091)