A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Space-Efficient Storage Management in an Attribute Grammar Evaluator
ACM Transactions on Programming Languages and Systems (TOPLAS)
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Error Data Values in the Data-Flow Language VAL
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
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
Experience with an attribute grammar-based compiler
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On Constructing Efficient Evaluators for Attribute Grammars
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
On Storage Optimization for Automatically Generated Compilers
Proceedings of the 4th GI-Conference on Theoretical Computer Science
Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Compiler construction using attribute grammars
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
LINGUIST-86: Yet another translator writing system based on attribute grammars
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A truly generative semantics-directed compiler generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Alternating semantic evaluator
ACM '75 Proceedings of the 1975 annual conference
Automatic generation of efficient evaluators for attribute grammars
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
Declarative semantic definition as illustrated by a definition of simula 67
Declarative semantic definition as illustrated by a definition of simula 67
Semantic analysis and target language synthesis in a translator.
Semantic analysis and target language synthesis in a translator.
The coroutine model of attribute grammar evaluation.
The coroutine model of attribute grammar evaluation.
Methods for constructing parallel compilers for use in a multiprocessor environment.
Methods for constructing parallel compilers for use in a multiprocessor environment.
An extended attribute grammar for Pascal
ACM SIGPLAN Notices
A VHDL compiler based on attribute grammar methodology
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Incorporating multi-pass attribute grammars for the high-level synthesis of ASICs
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
On Concept-Based Definition of Domain-Specific Languages
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
| Hi-index | 0.00 |
This paper examines the similarity between attribute grammars and data-flow languages. For any attribute grammar there is a data-flow program that is an evaluator for it, and we describe how to build this data-flow program. The design of semantic functions for an attribute grammar is seen to be a problem of programming in a data-flow language. Reinterpreting our experience writing attribute grammars, we suggest some techniques to use in data-flow programming and propose language features that will support them. We also propose using data-flow notation to specify the semantic functions of attribute grammars and implementing attribute evaluators in a data-flow language.