Modularizing crosscutting concerns with ptolemy
Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, ROBERT L. DYER, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter · 2011
In this demonstration we show our language Ptolemy, which allows for separation of crosscutting concerns while maintaining modular reasoning. We demonstrate the benefits of Ptolemy over existing aspect-oriented languages and implicit invocation designs. Ptolemy's quantified, typed events provide a flexible quantification mechanism that acts as a declarative interface between object-oriented code and crosscutting code. Events are announced explicitly and declaratively.