Attribute Grammars and Categorical Semantics

DOI10.1007/978-3-540-70583-3_23zbMath1156.68026OpenAlexW1536897572MaRDI QIDQ3519507

Shin-ya Katsumata

Publication date: 19 August 2008

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70583-3_23

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Categorical semantics of formal languages (18C50)

Related Items

A quantum double construction in Rel ⋮ Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition ⋮ On traced monoidal closed categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fixed-point operations on ccc's. I
• Coherence for compact closed categories
• Attribute grammars. Definitions, systems and bibliography
• New foundations for the geometry of interaction
• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
• Feedback and generalized logic
• An order-algebraic definition of knuthian semantics
• Geometry of Interaction and linear combinatory algebras
• Traced monoidal categories
• Semantics of context-free languages
• Retracing some paths in process algebra