Aspects and data refinement

Authors:
Pavel Avgustinov;Eric Bodden;Elnar Hajiyev;Oege de Moor;Neil Ongkingco;Damien Sereni;Ganesh Sittampalam;Julian Tibble
Affiliations:
Oxford University Computing Laboratory, Oxford, United Kingdom;School of Computer Science, McGill University, Montréal, Québec, Canada;Oxford University Computing Laboratory, Oxford, United Kingdom;Oxford University Computing Laboratory, Oxford, United Kingdom;Oxford University Computing Laboratory, Oxford, United Kingdom;Oxford University Computing Laboratory, Oxford, United Kingdom;Oxford University Computing Laboratory, Oxford, United Kingdom;Oxford University Computing Laboratory, Oxford, United Kingdom
Venue:
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Year:
2006

Citing 6
Cited 0

Programming from specifications (2nd ed.)

Programming from specifications (2nd ed.)
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Optimising aspectJ

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Incrementalization across object abstraction

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Programming with Invariants

IEEE Software
A compilation and optimization model for aspect-oriented programs

CC'03 Proceedings of the 12th international conference on Compiler construction

Quantified Score

Hi-index	0.00

Visualization

Abstract

We give an introduction to aspect-oriented programming from the viewpoint of data refinement. Some data refinements are conveniently expressed via aspects. Unlike traditional programming language features for data refinement, aspects conceptually transform run-time events, not compile-time programs.