Department of Computer Science
Laboratory for Software Design
Ptolemy: A Language with Quantified, Typed Events
These pages describe work carried out on the design and the implementation of Ptolemy, a language with quantified, event types. The work is carried out by Hridesh Rajan and Gary T. Leavens. This work has been supported in part by the NSF grants CNS-0627354, CCF-0429567, and CNS-07-09217.
NewsMar 2008: Initial work on Ptolemy will be presented at ECOOP 2008 Oct 2007: A revised report on Ptolemy now available from here. July 2007: A report on Ptolemy is now available from here. |
People Involved in the Ptolemy ProjectHridesh Rajan is an Assistant Professor in the Department of Computer Science at the Iowa State University. His research interests are in software engineering, programming language design and implementation, and mobile ad hoc and sensor networks. He can be reached at hridesh@cs.iastate.edu. Gary T. Leavens is a professor in the School of Electrical Engineering and Computer Science at the University of Central Florida. His research interests are in programming and specification language design and semantics, program verification, and formal methods, with an emphasis on the object-oriented and aspect-oriented paradigms. He can be reached at leavens@eecs.ucf.edu. |
Department of Computer Science, hridesh@cs.iastate.edu.
Copyright © 2008, Iowa State University of Science and Technology. All rights reserved.
This material is based upon work that was supported in part by the National Science Foundation under Grants CNS-0627354, CCF-0429567, and CNS-07-09217. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.