Composition and evaluation of attribute coupled grammars
Acta Informatica
Attribute grammars: definitions, systems and bibliography
Attribute grammars: definitions, systems and bibliography
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantic evaluation from left to right
Communications of the ACM
The intrinsically exponential complexity of the circularity problem for attribute grammars
Communications of the ACM
Sub-protocol-evaluators for attribute grammars
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Strongly non-circular attribute grammars and their recursive evaluation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Internals and Externals of the FNC-2 Attribute Grammar System
Proceedings on Attribute Grammars, Applications and Systems
Introduction to Attributed Grammars
Proceedings on Attribute Grammars, Applications and Systems
Implementation of Visit-Oriented Attribute Evaluators
Proceedings on Attribute Grammars, Applications and Systems
Proceedings of the 8th Colloquium on Automata, Languages and Programming
An Optimal-time Recursive Evaluator for Attribute Grammars
Proceedings of the 6th Colloquium on International Symposium on Programming
LINGUIST-86: Yet another translator writing system based on attribute grammars
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Automatic generation of efficient evaluators for attribute grammars
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Specification and dialogue control of visual interaction through visual rewriting systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Attribute Grammars and Categorical Semantics
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Iterative type inference with attribute grammars
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Categorical descriptional composition
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Stepwise evaluation of attribute grammars
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Visitor-based Attribute Grammars with Side Effect
Electronic Notes in Theoretical Computer Science (ENTCS)
An attribute-grammar framework for specifying the accessibility in Java programs
Computer Languages, Systems and Structures
Hi-index | 0.00 |
Attribute grammars are a useful formalism for the specification of computations on structured terms. The classical definition of attribute grammars, however, has no way of treating conditionals nonstrictly. Consequently, the natural way of expressing many otherwise well-behaved computations involves a circularity. This article presents conditional attribute grammars, and extension of attribute grammars that enables more precise analysis of conditionals. In conditional attribute grammars, attribute equations may have guards. Equations are active only when their guards are satisfied. The standard attribute grammar evaluation classes are definable for conditional attribute grammars, and the corresponding evaluation techniques can be easily adapted. However, determining membership in standard evaluation classes such as 1-SWEEP, OAG, and SNC is NP-hard.