Campus Units

Computer Science

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

2012

Journal or Book Title

FOAL '12 Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages

First Page

33

Last Page

38

DOI

10.1145/2162010.2162020

Conference Title

FOAL '12 The eleventh workshop on Foundations of Aspect-Oriented Languages

Conference Date

March 26, 2012

City

Potsdam, Germany

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

Published Version

Share

Article Location

 
COinS