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.

Quick Links

News

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.

Publications Related to Ptolemy

2008

Hridesh Rajan and Gary T. Leavens. Ptolemy: A Language with Quantified, Typed Events. 22nd European Conference on Object-Oriented Programming (ECOOP 2008), July 7th - 11th 2008, Paphos, Cyprus. [abstract] [PDF]
Hridesh Rajan. Mining Software Repositories for Evaluating Software Engineering Properties of Language Designs. 2nd Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2008), co-located with OOPSLA 2008, October 19, 2008, Nashville, TN. [abstract] [PDF]

2007

Hridesh Rajan and Gary T. Leavens. Quantified, Typed Events for Improved Separation of Concerns. Department of Computer Science, Iowa State University, TR #07-14c, July 2007, revised October 2007. [abstract] [PDF] [PS]
Hridesh Rajan and Gary T. Leavens. Ptolemy: A Language of Quantified, Typed Events. Department of Computer Science, Iowa State University, TR #07-13a, July 2007, revised October 2007. [abstract] [PDF] [PS]

2006

William Griswold, Kevin Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan,"Modular Software Design with Crosscutting Interfaces",IEEE Software, Special Issue on Aspect-Oriented Programming, Jan/Feb 2006.

2005

Kevin Sullivan, William Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan,"Information Hiding Interfaces for Aspect-Oriented Design", Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005), 5-9 Sept 2005, Lisbon, Portugal.

Department of Computer Science, hridesh@cs.iastate.edu.

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.