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

zbMATH Open0968.68090MaRDI QIDQ2702091FDOQ2702091

Authors: Katsuhiko Gondow, Takuya Katayama 

Publication date: 12 March 2001

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

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

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)

Cited In (1)

• Title not available (Why is that?)

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)