Attribute grammars as record calculus. -- A structure-oriented denotational semantics of attribute grammars by using Cardelli's record calculus

MaRDI QIDQ2702091zbMATH OpenFDO

Authors Katsuhiko Gondow, Takuya Katayama

Publication date 12 March 2001

Published in Informatica (Ljubljana) (Search for Journal in Brave)

zbMATH Keywords

Cardelli's record calculusdenotational semantics of attributed grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

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

Cited in

(1)

• scientific article; zbMATH DE number 2080046 (Why is no real title available?)

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)