Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Step-Indexed Model of Substructural State Harvard University
 

Summary: A Step-Indexed Model of Substructural State
Amal Ahmed
Harvard University
amal@eecs.harvard.edu
Matthew Fluet
Cornell University
fluet@cs.cornell.edu
Greg Morrisett
Harvard University
greg@eecs.harvard.edu
Abstract
The concept of a "unique" object arises in many emerging program-
ming languages such as Clean, CQual, Cyclone, TAL, and Vault. In
each of these systems, unique objects make it possible to perform
operations that would otherwise be prohibited (e.g., deallocating
an object) or to ensure that some obligation will be met (e.g., an
opened file will be closed). However, different languages provide
different interpretations of "uniqueness" and have different rules
regarding how unique objects interact with the rest of the language.
Our goal is to establish a common model that supports each of

  

Source: Ahmed, Amal - School of Informatics, Indiana University
Fluet, Matthew - Department of Computer Engineering , Rochester Institute of Technology

 

Collections: Computer Technologies and Information Sciences