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.

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.

Downloading Ptolemy


Ptolemy is available for free for research and teaching purposes and for evaluation for commercial purposes subject to the following licensing agreement.

    Copyright (C) 2008, Iowa State University of Science and Technology. All rights reserved.

    The Ptolemy compiler is available for free for non-profit research and educational purposes. For commercial licensing please contact Hridesh Rajan by sending an e-mail to hridesh@cs.iastate.edu. The compiler, tools, libraries and sources are licensed according to the following license: Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software") for non-profit research and educational purposes, to use this Software subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.


I agree, download Ptolemy.