Mostly modular compilation of crosscutting concerns by contextual predicate dispatch

Authors:
Shigeru Chiba;Atsushi Igarashi;Salikh Zakirov
Affiliations:
Tokyo Institute of Technology, Tokyo, Japan;Kyoto University, Kyoto, Japan;Tokyo Institute of Technology, Tokyo, Japan
Venue:
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Year:
2010

Citing 35
Cited 6

Mixin-based inheritance

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A syntactic approach to type soundness

Information and Computation
A simple and unifying approach to subjective objects

Theory and Practice of Object Systems - Special issue on subjectivity in object-oriented systems
Hyper/J: multi-dimensional separation of concerns for Java

Proceedings of the 22nd international conference on Software engineering
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
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Design pattern implementation in Java and aspectJ

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Predicate Dispatching: A Unified Theory of Dispatch

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Load-Time Structural Reflection in Java

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Runtime Support for Type-Safe Dynamic Java Classes

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Family Polymorphism

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Difference-Based Modules: A Class-Independent Module Mechanism

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Scaling Step-Wise Refinement

IEEE Transactions on Software Engineering
Scalable extensibility via nested inheritance

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Practical predicate dispatch

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Distributing classes with woven concerns: an exploration of potential fault scenarios

Proceedings of the 4th international conference on Aspect-oriented software development
Aspect-oriented programming and modular reasoning

Proceedings of the 27th international conference on Software engineering
Using Pointcut Delta Analysis to Support Evolution of Aspect-Oriented Software

ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Classbox/J: controlling the scope of change in Java

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modular Software Design with Crosscutting Interfaces

IEEE Software
Statically scoped object adaptation with expanders

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The DaCapo benchmarks: java benchmarking development and analysis

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The paradoxical success of aspect-oriented programming

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
When to use features and aspects?: a case study

Proceedings of the 5th international conference on Generative programming and component engineering
The jastadd extensible java compiler

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
StrongAspectJ: flexible and safe pointcut/advice bindings

Proceedings of the 7th international conference on Aspect-oriented software development
A small extension to Java for class refinement

Proceedings of the 2008 ACM symposium on Applied computing
Predicate dispatch for aspect-oriented programming

Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms
Sharing classes between families

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Aspect-oriented programming beyond dependency injection

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Open modules: modular reasoning about advice

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
JavaGI: generalized interfaces for java

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A machine model for aspect-oriented programming

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

The road to feature modularity?

Proceedings of the 15th International Software Product Line Conference, Volume 2
Feature-oriented programming with family polymorphism

Proceedings of the 3rd international workshop on Variability & Composition
Method shelters: avoiding conflicts among class extensions caused by local rebinding

Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Supporting methods and events by an integrated abstraction

Proceedings of the 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution
Method slots: supporting methods, events, and advices by a single language construct

Proceedings of the 12th annual international conference on Aspect-oriented software development
Method shells: controlling a scope of destructive class extensions by context switches

Proceedings of the 12th annual international conference companion on Aspect-oriented software development

Quantified Score

Hi-index	0.00

Visualization

Abstract

The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple language providing AOP mechanisms, which are enhanced traditional OOP mechanisms. We also present its formal system and then show that programs in this language can be only mostly modularly (i.e. separately) typechecked and compiled.We mention a source of this unmodularity and discuss whether or not it is appropriate to claim that AOP breaks modularity compared with OOP.