Title
Ptolemy: A Language With Quantified, Typed Events
Abstract
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that run registered observer methods. AO languages have implicitly announced events that run method-like but more powerful advice. A limitation of II languages is their inability to refer to a large set of events succinctly. They also lack the expressive power of AO advice. Limitations of AO languages include potentially fragile dependence on syntactic structure that may hurt maintainability, and limits on the available set of implicit events and the reflective contextual information available. Quantified, typed events, as implemented in our language Ptolemy, solve all these problems. This paper describes Ptolemy and explores its advantages relative to both II and AO languages. © 2008 Springer-Verlag.
Publication Date
8-14-2008
Publication Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume
5142 LNCS
Number of Pages
155-179
Document Type
Article; Proceedings Paper
Personal Identifier
scopus
DOI Link
https://doi.org/10.1007/978-3-540-70592-5_8
Copyright Status
Unknown
Socpus ID
49049090590 (Scopus)
Source API URL
https://api.elsevier.com/content/abstract/scopus_id/49049090590
STARS Citation
Rajan, Hridesh and Leavens, Gary T., "Ptolemy: A Language With Quantified, Typed Events" (2008). Scopus Export 2000s. 10314.
https://stars.library.ucf.edu/scopus2000/10314