Semantics of Grammars and Attributes via Initiality

Bart Jacobs
Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands

Tarmo Uustalu
Institute of Cybernetics, Tallinn University of Technology, Tallinn, Estonia

Abstract

This paper uses elementary categorical techniques to systematically describe the semantics of context-free grammars and of attribute evaluation for such grammars. The novelty lies in capturing inherited attributes and their evaluation via exponents and naturality.

Full text

PDF