archives

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

There is a later version of this eprint available: Click here to view it.

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:00000553
Deposited by:Hridesh Rajan on 26 July 2007

Available Versions of This Paper



Contact site administrator at: ssg@cs.iastate.edu