Journal of the ACM (JACM)
A syntax directed compiler for ALGOL 60
Communications of the ACM
Formal languages and their relation to automata
Formal languages and their relation to automata
ACM Computing Surveys (CSUR)
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
The intrinsically exponential complexity of the circularity problem for attribute grammars
Communications of the ACM
On the complexity of the circularity test for attribute grammars
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A truly generative semantics-directed compiler generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
An attribute description of a subset of Algol 68
Proceedings of the Strathclyde ALGOL 68 conference
Quickchecking refactoring tools
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
| Hi-index | 0.02 |
Attributed translations are a means of specifying the input-output relation of a language processing device, such as for example the lexical or syntax box of a compiler. Considered as a mathematical object, an attributed translation is a mapping of certain strings of attributed “input symbols” into strings of attributed “action symbols”. Under the interpretation that action symbols represent the act of emitting an attributed output or the performing of some other “semantic actions”, and the attributes represent “semantic” information associated with the symbols, the model can be applied in depth to practical compiling problems. Theorems are proved giving conditions under which an attributed translation can be performed by an augmented pushdown machine while it is parsing top down or bottom up. Attributed translations are based on the ideas of attributed grammars [1] and syntax directed translations [2,3]. Other relevant concepts are property grammars and table machines [4], and attributed grammars with relations [5].