Sciweavers

Share
FOAL
2007
ACM

Typing for a minimal aspect language: preliminary report

11 years 8 months ago
Typing for a minimal aspect language: preliminary report
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.
Peter Hui, James Riely
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2007
Where FOAL
Authors Peter Hui, James Riely
Comments (0)
books