A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Semantic evaluation from left to right
Communications of the ACM
Attributed translations(Extended Abstract)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
Hi-index | 0.00 |
Among the formalisms used for the definition of programming languages, context-free grammars are widely and satisfactorily used, but their power is limited. Augmented with attributes they can express context sensitive aspects of a language. In this paper a subset of Algol 68 is described by an attribute-grammar. This is done in a way which suggests that the attribute point of view may also help reading and writing W-grammars.