Ptolemy: A Language of Quantified, Typed Events
|
Home About Browse Search Register Subscriptions Deposit Papers Help |
Rajan, Hridesh and Leavens, Gary (2007) Ptolemy: A Language of Quantified, Typed Events. Technical Report 07-13, Computer Science, Iowa State University.
| Full text available as: | Adobe PDF |
This is the latest version of this eprint.
Abstract
This paper defines Ptolemy. The novelty of Ptolemy is the notion of event types and quantification based on event types. We give the syntax, operational semantics and type rules for the langauge, and discuss its meta-theory.
| Keywords: | implicit-invocation, aspect-oriented programming languages, quantification, pointcut, join point, context exposure, type checking, event types, event expressions |
| Subjects: | Software: SOFTWARE ENGINEERING (K.6.3): Design Tools and Techniques Software: PROGRAMMING LANGUAGES Software: PROGRAMMING LANGUAGES: General Software: PROGRAMMING LANGUAGES: Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3) Software: PROGRAMMING LANGUAGES: Language Constructs and Features (E.2) |
| ID code: | 00000556 |
| Deposited by: | Hridesh Rajan on 04 October 2007 |
Available Versions of This Paper
- Ptolemy: A Language of Quantified, Typed Events (deposited 26 July 2007)
- Ptolemy: A Language of Quantified, Typed Events (deposited 04 October 2007) [Currently displayed]
Contact site administrator at: ssg@cs.iastate.edu