SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A VHDL compiler based on attribute grammar methodology
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Eli: a complete, flexible compiler construction system
Communications of the ACM
Composable attribute grammars: support for modularity in translator design and implementation
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modularity and reusability in attribute grammars
Acta Informatica
Conditional attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental static semantic analysis
Incremental static semantic analysis
A meta-language and system for nonlocal incremental attribute evaluation in language-based editors
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Finding circular attributes in attribute grammars
Journal of the ACM (JACM)
Undecidability of context-sensitive data-dependence analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Cool: a portable project for teaching compiler construction
ACM SIGPLAN Notices
An Attribute Grammar for the Semantic Analysis of ADA
An Attribute Grammar for the Semantic Analysis of ADA
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Internals and Externals of the FNC-2 Attribute Grammar System
Proceedings on Attribute Grammars, Applications and Systems
Higher Order Attribute Grammars
Proceedings on Attribute Grammars, Applications and Systems
Attribute Grammars in a Compiler Construction Environment
Proceedings on Attribute Grammars, Applications and Systems
The OLGA Attribute Grammar Description Language: Design, Implementation and Evaluation
Proceedings of the International Conference WAGA on Attribute Grammars and their Applications
Coordinated Incremental Attribute Evaluation on a DR-Threaded Tree
Proceedings of the International Conference WAGA on Attribute Grammars and their Applications
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
An Overview of Door Attribute Grammars
CC '94 Proceedings of the 5th International Conference on Compiler Construction
Analyzing Direct Non-local Dependencies in Attribute Grammars
CC '98 Proceedings of the 7th International Conference on Compiler Construction
Proceedings on Attribute Grammars, Applications and Systems
The Elegant Compiler Generator System
Proceedings of the International Conference WAGA on Attribute Grammars and their Applications
Descriptional Composition of Compiler Components
Descriptional Composition of Compiler Components
An approach to incremental semantics
An approach to incremental semantics
Circular reference attributed grammars — their evaluation and applications
Science of Computer Programming
The JastAdd system — modular extensible compiler construction
Science of Computer Programming
Silver: an Extensible Attribute Grammar System
Electronic Notes in Theoretical Computer Science (ENTCS)
Adding Dimension Analysis to Java as a Composable Language Extension
Generative and Transformational Techniques in Software Engineering II
Demand-driven evaluation of collection attributes
Automated Software Engineering
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Formalising and Verifying Reference Attribute Grammars in Coq
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Declarative Intraprocedural Flow Analysis of Java Source Code
Electronic Notes in Theoretical Computer Science (ENTCS)
Silver: An extensible attribute grammar system
Science of Computer Programming
A Pure Object-Oriented Embedding of Attribute Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
An introductory tutorial on JastAdd attribute grammars
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Automated selective caching for reference attribute grammars
SLE'10 Proceedings of the Third international conference on Software language engineering
Reference attribute grammars for metamodel semantics
SLE'10 Proceedings of the Third international conference on Software language engineering
Building extensible specifications and implementations of Promela with AbleP
Proceedings of the 18th international SPIN conference on Model checking software
Lazy combinators for executable specifications of general attribute grammars
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Towards well-formed fragment composition with reference attribute grammars
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Integrating attribute grammar and functional programming language features
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Attribute grammar-based language extensions for java
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A pure embedding of attribute grammars
Science of Computer Programming
Extensible intraprocedural flow analysis at the abstract syntax tree level
Science of Computer Programming
DropsBox: the Dresden Open Software Toolbox
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Describing the static semantics of programming languages with attribute grammars is eased when the formalism allows direct dependencies to be induced between rules for nodes arbitrarily far away in the tree. Such direct non-local dependencies cannot be analyzed using classical methods, which enable efficient evaluation.This article defines an attribute grammar extension (“remote attribute grammars”) to permit references to objects with fields to be passed through the attribute system. Fields may be read and written through these references. The extension has a declarative semantics in the spirit of classical attribute grammars. It is shown that determining circularity of remote attribute grammars is undecidable.The article then describes a family of conservative tests of noncircularity and shows how they can be used to “schedule” a remote attribute grammar using standard techniques. The article discusses practical batch and incremental evaluation of remote attribute grammars.