Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Another type system for in-place update David Aspinall1
 

Summary: Another type system for in-place update
David Aspinall1
and Martin Hofmann2
1
LFCS Edinburgh, Mayfield Rd, Edinburgh EH9 3JZ, UK
da@dcs.ed.ac.uk,
WWW: www.dcs.ed.ac.uk/home/da
2
Institut f¨ur Informatik, Oettingenstraße 67, 80538 M¨unchen, Germany
mhofmann@informatik.uni-muenchen.de,
WWW: www.tcs.informatik.uni-muenchen.de/ mhofmann
Abstract. Linear typing schemes guarantee single-threadedness and so
the soundness of in-place update with respect to a functional semantics.
But linear schemes are restrictive in practice, and more restrictive than
necessary to guarantee soundness of in-place update. This has prompted
research into static analysis and more sophisticated typing disciplines, to
determine when in-place update may be safely used, or to combine linear
and non-linear schemes. Here we contribute to this line of research by
defining a new typing scheme which better approximates the semantic
property of soundness of in-place update for a functional semantics. Our

  

Source: Aspinall, David - School of Informatics, University of Edinburgh

 

Collections: Computer Technologies and Information Sciences