A compilation and optimization model for aspect-oriented programs

Authors:
H. Masuhara;G. Kiczales;C. Dutchyn
Affiliations:
Graduate School of Arts and Sciences, University of Tokyo and Intentional Software Corporation and Department of Computer Science, University of British Columbia;Graduate School of Arts and Sciences, University of Tokyo and Intentional Software Corporation and Department of Computer Science, University of British Columbia;Graduate School of Arts and Sciences, University of Tokyo and Intentional Software Corporation and Department of Computer Science, University of British Columbia
Venue:
CC'03 Proceedings of the 12th international conference on Compiler construction
Year:
2003

Citing 15
Cited 78

Improving binding times without explicit CPS-conversion

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Duplication and partial evaluation: for a better understanding of reflective languages

Lisp and Symbolic Computation - Special issue on computational reflection
Cogen in six lines

Proceedings of the first ACM SIGPLAN international conference on Functional programming
Composing crosscutting concerns using composition filters

Communications of the ACM
Using aspectC to improve the modularity of path-specific customization in operating system code

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The Art of the Metaobject Protocol

The Art of the Metaobject Protocol
Partial Evaluation of Computation Process—AnApproach to a Compiler-Compiler

Higher-Order and Symbolic Computation
Static analysis of aspects

Proceedings of the 2nd international conference on Aspect-oriented software development
Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
A Formal Definition of Crosscuts

REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
DJ: Dynamic Adaptive Programming in Java

REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Process-Algebraic Foundations of Aspect-Oriented Programming

REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Reflection and semantics in LISP

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

A selective, just-in-time aspect weaver

Proceedings of the 2nd international conference on Generative programming and component engineering
Association aspects

Proceedings of the 3rd international conference on Aspect-oriented software development
Morphing aspects: incompletely woven aspects and continuous weaving

Proceedings of the 3rd international conference on Aspect-oriented software development
Measuring the dynamic behaviour of AspectJ programs

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Verifying aspect advice modularly

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Transformation by interpreter specialisation

Science of Computer Programming - Special issue on program transformation
abc: an extensible AspectJ compiler

Proceedings of the 4th international conference on Aspect-oriented software development
An execution layer for aspect-oriented programming languages

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Optimising aspectJ

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Aspectual Caml: an aspect-oriented functional language

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Adding trace matching with free variables to AspectJ

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research

OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Expressing different conceptual models of join point selections in aspect-oriented design

Proceedings of the 5th international conference on Aspect-oriented software development
Adapting virtual machine techniques for seamless aspect support

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Efficient control flow quantification

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Semantics of static pointcuts in aspectJ

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Foundations of incremental aspect model-checking

ACM Transactions on Software Engineering and Methodology (TOSEM)
Open bisimulation for aspects

Proceedings of the 6th international conference on Aspect-oriented software development
Semantics and scoping of aspects in higher-order languages

Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Towards a type system for detecting never-matching pointcut compositions

Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Specializing continuations a model for dynamic join points

Proceedings of the 6th workshop on Foundations of aspect-oriented languages
On the duality of aspect-oriented and feature-oriented design patterns

Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software
On dynamically-scoped crosscutting mechanisms

ACM SIGPLAN Notices
Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Test-based pointcuts for robust and fine-grained join point specification

Proceedings of the 7th international conference on Aspect-oriented software development
Tool support for understanding and diagnosing pointcut expressions

Proceedings of the 7th international conference on Aspect-oriented software development
Expressive scoping of dynamically-deployed aspects

Proceedings of the 7th international conference on Aspect-oriented software development
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch

Proceedings of the 7th workshop on Foundations of aspect-oriented languages
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Finding programming errors earlier by evaluating runtime monitors ahead-of-time

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
A decision tree-based approach to dynamic pointcut evaluation

Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms
Dependent advice: a general approach to optimizing history-based aspects

Proceedings of the 8th ACM international conference on Aspect-oriented software development
The dataflow pointcut: a formal and practical framework

Proceedings of the 8th ACM international conference on Aspect-oriented software development
Expressive scoping of distributed aspects

Proceedings of the 8th ACM international conference on Aspect-oriented software development
The art of the meta-aspect protocol

Proceedings of the 8th ACM international conference on Aspect-oriented software development
Untangling crosscutting concerns in domain-specific languages with domain-specific join points

Proceedings of the 4th workshop on Domain-specific aspect languages
An implementation substrate for languages composing modularized crosscutting concerns

Proceedings of the 2009 ACM symposium on Applied Computing
Open Bisimulation for Aspects

Transactions on Aspect-Oriented Software Development V
Advanced runtime adaptation for Java

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Beyond static and dynamic scope

DLS '09 Proceedings of the 5th symposium on Dynamic languages
Open Aspects

Computer Languages, Systems and Structures
AspectScript: expressive aspects for the web

Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Execution levels for aspect-oriented programming

Proceedings of the 9th International Conference on Aspect-Oriented Software Development
An architecture for composing embedded domain-specific languages

Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Disambiguating aspect-oriented security policies

Proceedings of the 9th International Conference on Aspect-Oriented Software Development
An aspect-oriented framework for operating system evolution

Proceedings of the 2010 ACM Symposium on Applied Computing
Escaping with future variables in HALO

RV'07 Proceedings of the 7th international conference on Runtime verification
Efficient hybrid typestate analysis by determining continuation-equivalent states

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Supporting dynamic aspect-oriented features

ACM Transactions on Software Engineering and Methodology (TOSEM)
AspectC++: An integrated approach for static and dynamic adaptation of system software

Knowledge-Based Systems
Composition of dynamic analysis aspects

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Scoping strategies for distributed aspects

Science of Computer Programming
Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Clara: a framework for partially evaluating finite-state runtime monitors ahead of time

RV'10 Proceedings of the First international conference on Runtime verification
Optimizing the evaluation of patterns in pointcuts

Virtual Machines and Intermediate Languages
Polymorphic bytecode instrumentation

Proceedings of the tenth international conference on Aspect-oriented software development
Pluggable aspect instantiation models

SC'11 Proceedings of the 10th international conference on Software composition
Expressive pointcuts for increased modularity

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
A graphical notation to specify model queries for MDA transformations on UML models

MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
abc: the aspectbench compiler for aspectJ

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Shadow programming: reasoning about programs using lexical join point information

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
A versatile kernel for multi-language AOP

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
A self-replication algorithm to flexibly match execution traces

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Design and implementation of an aspect instantiation mechanism

Transactions on Aspect-Oriented Software Development I
abc: an extensible AspectJ compiler

Transactions on Aspect-Oriented Software Development I
Aspects and data refinement

MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Partial evaluation of pointcuts

PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Partially Evaluating Finite-State Runtime Monitors Ahead of Time

ACM Transactions on Programming Languages and Systems (TOPLAS)
A compilation technique to increase X3D performance and safety

Proceedings of the 27th Annual ACM Symposium on Applied Computing
Turbo DiSL: partial evaluation for high-level bytecode instrumentation

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
A compilation model for aspect-oriented polymorphically typed functional languages

SAS'07 Proceedings of the 14th international conference on Static Analysis
A machine model for aspect-oriented programming

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A staged static program analysis to improve the performance of runtime monitoring

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A typed monadic embedding of aspects

Proceedings of the 12th annual international conference on Aspect-oriented software development
Taming aspects with monads and membranes

Proceedings of the 12th workshop on Foundations of aspect-oriented languages
Enriching MATLAB with aspect-oriented features for developing embedded systems

Journal of Systems Architecture: the EUROMICRO Journal
Join point interfaces for safe and flexible decoupling of aspects

ACM Transactions on Software Engineering and Methodology (TOSEM)
Execution levels for aspect-oriented programming: Design, semantics, implementations and applications

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can explain several issues in compilation processes, including how to find places in program text to insert aspect code and how to remove unnecessary run-time checks. It also illustrates optimization of calling-context sensitive pointcuts (cflow), implemented in real compilers.