Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
An overview of the Mjølner BETA system
Software engineering environments
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Computer
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Essentials of Constraint Programming
Essentials of Constraint Programming
Journal of the ACM (JACM)
The jastadd extensible java compiler
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
The JastAdd system — modular extensible compiler construction
Science of Computer Programming
Silver: an Extensible Attribute Grammar System
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating safe template languages
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Modular web queries: from rules to stores
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Lightweight language processing in Kiama
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Statically safe program generation with SafeGen
Science of Computer Programming
Reference attribute grammars for metamodel semantics
SLE'10 Proceedings of the Third 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
Hi-index | 0.00 |
Invasive Software Composition (ISC) provides a generic, flexible and powerful approach for software composition. Based upon the principles of grey-box composition, ISC systems can compose partial programs (fragments) and provide syntactic (context-free) correct composition results. However, many composition domains require additional composition constraints for fragments (fragment contracts) to guarantee well-formedness of composition results. In this paper, we propose the application of reference attribute grammars (RAGs) for the implementation of ISC systems supporting fragment contracts. We show how RAGs can be used to specify semantics-aware fragment component models on top of a language specification and introduce RAG-based fragment contracts to enable advanced guarantees for fragment composition.