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.
NewsJuly 2009: A report on Instance-level Quantified, Typed Events is now available here. Mar 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. Mehdi Bagherzadeh is a graduate student in the Department of Computer Science at the Iowa State University, where he works with Dr. Hridesh Rajan. His research interests are in programming languages and software engineering. Mehdi is currently starting his research program in the Tisa project. He can be reached at mbagherz@iastate.edu. Robert Dyer is a graduate student in the Department of Computer Science at the Iowa State University, where he works with Dr. Hridesh Rajan. His research interests are in aspect-oriented software development, software engineering, and programming language design and implementation. He can be reached at rdyer@iastate.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.