Attribute grammars as a functional programming paradigm
Proc. of a conference on Functional programming languages and computer architecture
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
The Computer Journal - Special issue on procedural programming
Higher-order attribute grammars and editing environments
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Higher-order functions considered unnecessary for higher-order programming
Research topics in functional programming
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
Modular grammars for programming language prototyping
Modular grammars for programming language prototyping
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Modularity and reusability in attribute grammars
Acta Informatica
C: a language for high-level, efficient, and machine-independent dynamic code generation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Definitional Interpreters for Higher-Order Programming Languages
Higher-Order and Symbolic Computation
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Declarative Program Transformation: A Deforestation Case-Study
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
Specification and Implementation of Grammar Couplings using Attribute Grammars
PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
A Functional Semantics of Attribute Grammars
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Specification languages in algebraic compilers
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
A Functional Semantics of Attribute Grammars
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Generating spreadsheet-like tools from strong attribute grammars
Proceedings of the 2nd international conference on Generative programming and component engineering
Static analysis for syntax objects
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Adding domain-specific and general purpose language features to Java with the Java language extender
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementing aspect-oriented programming constructs as modular language extensions
Science of Computer Programming
The metafront system: Safe and extensible parsing and transformation
Science of Computer Programming
Context-aware scanning for parsing extensible languages
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
The JastAdd system — modular extensible compiler construction
Science of Computer Programming
Silver: an Extensible Attribute Grammar System
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending Lustre with Timeout Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Mixing source and bytecode: a case for compilation by normalization
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Adding Dimension Analysis to Java as a Composable Language Extension
Generative and Transformational Techniques in Software Engineering II
Building language towers with ziggurat
Journal of Functional Programming
Demand-driven evaluation of collection attributes
Automated Software Engineering
Transformation Language Integration Based on Profiles and Higher Order Transformations
Software Language 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
Silver: An extensible attribute grammar system
Science of Computer Programming
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Flexible and extensible notations for modeling languages
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Lightweight language processing in Kiama
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Higher-order transformations with nested concrete syntax
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Language boxes: bending the host language with modular language changes
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Domain-specific metamodelling languages for software language engineering
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Modular name analysis for java using jastadd
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Integrating attribute grammar and functional programming language features
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Computations in graph rewriting: inductive types and pullbacks in DPO approach
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Attribute grammar-based language extensions for java
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Computer Standards & Interfaces
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Approaches to modelling security scenarios with domain-specific languages
SP'12 Proceedings of the 20th international conference on Security Protocols
Creating and using domain-specific language features
Proceedings of the First Workshop on the Globalization of Domain Specific Languages
A pure embedding of attribute grammars
Science of Computer Programming
| Hi-index | 0.00 |
Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It complements existing techniques such as default copy rules. This paper introduces forwarding and shows how it is but a small extension of standard higher-order attribute grammars. The usual tools for manipulating higher-order attribute grammars, including the circularity check (which tests for cyclic dependencies between attribute values), carry over without modification. The closure test (which checks that each attribute has a defining equation) needs modification, however, because the resulting higher-order attribute grammars may contain spurious attributes that are never evaluated and indeed that need not be defined.