Generating language-based environments
Generating language-based environments
Pascal user manual and report; 3rd ed.
Pascal user manual and report; 3rd ed.
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Incremental attribute evaluation in distributed language-based environments
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Efficient incremental evaluation of aggregate values in attribute grammars
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Gandalf: software development environments
IEEE Transactions on Software Engineering
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Maintaining Configurations of Evolving Software Systems
IEEE Transactions on Software Engineering
The synthesizer generator reference manual (3rd ed.)
The synthesizer generator reference manual (3rd ed.)
Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
ACM Transactions on Database Systems (TODS)
ICSE '89 Proceedings of the 11th international conference on Software engineering
Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Concurrent incremental attribute evaluation
WAGA Proceedings of the international conference on Attribute grammars and their applications
Design, implementation and evaluation of the FNC-2 attribute grammar system
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
The C programming language
Extending the MERCURY system to support teams of Ada programmers
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
Building integrated software development environments. Part I: tool specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Incremental attribute evaluation for multi-user semantics-based editors
Incremental attribute evaluation for multi-user semantics-based editors
A high-level and flexible framework for implementing multiuser user interfaces
ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Remote attribute updating for language-based editors
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An Attribute Grammar for the Semantic Analysis of ADA
An Attribute Grammar for the Semantic Analysis of ADA
Parallel Evaluation of Attribute Grammars
IEEE Transactions on Parallel and Distributed Systems
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements
IEEE Transactions on Software Engineering
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
Software development control based on module interconnection
ICSE '79 Proceedings of the 4th international conference on Software engineering
Hi-index | 0.00 |
Attribute grammars add specification of static semantic properties to context-free grammars, which, in turn, describe the syntactic structure of program units. However, context-free grammars cannot express programming-in-the-large features common in modern programming languages, including unordered collections of units, included units, and sharing of included units. We present extensions to context-free grammars, and corresponding extensions to attribute grammars, suitable for defining such features. We explain how batch and incremental attribute-evaluation algorithms can be adapted to support these extensions, resulting in a uniform approach to intraunit and interunit static semantic analysis and translation of multiunit programs.