Typing for a minimal aspect language: preliminary report

Authors:
Peter Hui;James Riely
Affiliations:
DePaul University;DePaul University
Venue:
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Year:
2007

Citing 8
Cited 0

Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
A theory of aspects

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
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
A type-theoretic interpretation of pointcuts and advice

Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Typed parametric polymorphism for aspects

Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
MiniMAO1: an imperative core language for studying aspect-oriented reasonings

Science of Computer Programming - Special issue: Foundations of aspect-oriented programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a preliminary report on typing systems for polyadic μABC, aspect oriented programming---pointcuts and advice---and nothing else. Tuples of uninterpreted names are used to trigger advice. The resulting language is remarkably unstructured: the least common denominator of the pi-calculus and Linda. As such, developing meaningful type systems is a substantial challenge. Our work is guided by the translation of richly typed languages into μABC, specifically function- and class-based languages augmented with advice. The "impedance mismatch" between source and target is severe, and this leads us to a novel treatment of types in μABC.