The JastAdd system — modular extensible compiler construction

Authors:
Torbjörn Ekman;Görel Hedin
Affiliations:
Department of Computer Science, Lund University, Sweden;Department of Computer Science, Lund University, Sweden
Venue:
Science of Computer Programming
Year:
2007

Citing 16
Cited 40

Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Higher order attribute grammars

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Modularity and reusability in attribute grammars

Acta Informatica
MultiJava: modular open classes and symmetric multiple dispatch for Java

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
JastAdd: an aspect-oriented compiler construction system

Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Object-Orientation in Attribute Grammars

Proceedings on Attribute Grammars, Applications and Systems
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Forwarding in Attribute Grammars for Modular Language Design

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Descriptional composition of compiler components

Descriptional composition of compiler components
Declaring and checking non-null types in an object-oriented language

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Implementing java compilers using ReRAGs

Nordic Journal of Computing
Remote attribute grammars

Journal of the ACM (JACM)
The TXL source transformation language

Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Polyglot: an extensible compiler framework for Java

CC'03 Proceedings of the 12th international conference on Compiler construction
Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules

CC'05 Proceedings of the 14th international conference on Compiler Construction
Modular name analysis for java using jastadd

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity

Implementation and Application of Functional Languages
Interprocedural query extraction for transparent persistence

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
A SIP-Based Programming Framework for Advanced Telephony Applications

Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
Enhancing base-code protection in aspect-oriented programs

Proceedings of the 2009 workshop on Foundations of aspect-oriented languages
Model-Driven Engineering Meets Generic Language Technology

Software Language Engineering
DeFacto: Language-Parametric Fact Extraction from Source Code

Software Language Engineering
Verifiable composition of deterministic grammars

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
A generative programming approach to developing pervasive computing systems

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Cost-efficient drilling using industrial robots with high-bandwidth force feedback

Robotics and Computer-Integrated Manufacturing
The design of SafeJML, a specification language for SCJ with support for WCET specification

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Specifying and implementing refactorings

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Correct refactoring of concurrent java code

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Using reified contextual information for safe run-time adaptation of software product lines

Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
Applying attribute grammars for metamodel semantics

Proceedings of the International Workshop on Formalization of Modeling Languages
Model driven language engineering with kermeta

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
MetaLexer: a modular lexical specification language

Proceedings of the tenth international conference on Aspect-oriented software development
Reference attribute grammars for metamodel semantics

SLE'10 Proceedings of the Third international conference on Software language engineering
Distributed dynamic weaving is a crosscutting concern

Proceedings of the 2011 ACM Symposium on Applied Computing
Building semantic editors using JastAdd: tool demonstration

Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Building extensible specifications and implementations of Promela with AbleP

Proceedings of the 18th international SPIN conference on Model checking software
Hybrid partial evaluation

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
McLAB: enabling programming language, compiler and software engineering research for matlab

Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
A DSL for writing type systems for Xtext languages

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
An exploratory study of the design impact of language features for aspect-oriented interfaces

Proceedings of the 11th annual international conference on Aspect-oriented Software Development
ABS: a core language for abstract behavioral specification

FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Component-based description of programming languages

VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Towards well-formed fragment composition with reference attribute grammars

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Metacompiling OWL ontologies

SLE'11 Proceedings of the 4th international conference on Software Language Engineering
McSAF: a static analysis framework for MATLAB

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Bridging the chasm between MDE and the world of compilation

Software and Systems Modeling (SoSyM)
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Challenges in the design of the package template mechanism

Transactions on Aspect-Oriented Software Development IX
Efficient language implementation with ALIA4J and EMFText: forum demonstration

Proceedings of the 12th annual international conference companion on Aspect-oriented software development
Implementing Java-like languages in Xtext with Xsemantics

Proceedings of the 28th Annual ACM Symposium on Applied Computing
A nanopass framework for commercial compiler development

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Extensible intraprocedural flow analysis at the abstract syntax tree level

Science of Computer Programming
Template constructors for reusable object initialization

Proceedings of the 12th international conference on Generative programming: concepts & experiences
Using refactoring techniques for visual editing of hybrid languages

Proceedings of the 2013 ACM workshop on Workshop on refactoring tools
Language features for software evolution and aspect-oriented interfaces: an exploratory study

Transactions on Aspect-Oriented Software Development X
DropsBox: the Dresden Open Software Toolbox

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The JastAdd system enables modular specifications of extensible compiler tools and languages. Java has been extended with the Rewritable Circular Reference Attributed Grammars formalism that supports modularization and extensibility through several synergistic mechanisms. Object-orientation and static aspect-oriented programming are combined with declarative attributes and context-dependent rewrites to allow highly modular specifications. The techniques have been verified by implementing a full Java 1.4 compiler with modular extensions for non-null types and Java 5 features.