Publication Date

10-4-2007

Technical Report Number

TR07-13

Subjects

Software

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.

Comments

Copyright © 2007, Hridesh Rajan and Gary T. Leavens.

Share

COinS