Skip to main content
Presentation
Event type polymorphism
FOAL '12 Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
  • Rex D Fernando, Iowa State University
  • Robert Dyer, Iowa State University
  • Hridesh Rajan, Iowa State University
Document Type
Conference Proceeding
Conference
MODULARITYModularity (formerly known as Aspect-oriented Software Development - AOSD)
Publication Version
Accepted Manuscript
Link to Published Version
https://doi.org/10.1145/2162010.2162020
Publication Date
1-1-2012
DOI
10.1145/2162010.2162020
Conference Title
FOAL '12 The eleventh workshop on Foundations of Aspect-Oriented Languages
Conference Date
March 26, 2012
Geolocation
(52.3905689, 13.064472900000055)
Abstract

Subtype polymorphism is an important feature available in most modern type systems which makes code reuse and specialization possible. Recent works on separation of crosscutting concerns have created event interfaces (types) to decouple subjects from handlers. Extending the notion of subtyping to these event interfaces is a logical step. In this paper, we define event type polymorphism in the context of the Ptolemy language. Ptolemy allows declaring quantified, typed events which provide an interface between subjects and handlers. We add the notion of polymorphic event types to the Ptolemy language, defining a subtype relation among event types which in turn allows for both depth and width subtyping with regard to event context. Since Ptolemy only has explicit event announcement, our semantics is simpler and easier to reason about when compared to previously defined approaches. We also give the first formally defined static semantics for polymorphic events as well as demonstrate its usefulness via examples.

Comments

This is a manuscirpt of a proceeding published as Fernando, Rex D., Robert Dyer, and Hridesh Rajan. "Event type polymorphism." In Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, pp. 33-38. ACM, 2012. 10.1145/2162010.2162020.

Rights
© ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, pp. 33-38. ACM, 2012. https://doi.org/10.1145/2162010.2162020
Copyright Owner
ACM
Language
en
File Format
application/pdf
Citation Information
Rex D Fernando, Robert Dyer and Hridesh Rajan. "Event type polymorphism" Potsdam, GermanyFOAL '12 Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages (2012) p. 33 - 38
Available at: http://works.bepress.com/hridesh-rajan/87/