P G Bancroft and I J Hayes. Refinement in a type extension context. In Proceedings of the Fifth Australian Refinement Workshop (ARW-96). Department of Computer Science, The University of Queensland, April 1996. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
An Imperative Language with Read/Write Type Modes - Paul Roe (1997) (Correct)
....is rather coarse grained, and only allows clients to read not write values. It is possible to use an ADT to control the reading and writing of values; however this again is rather coarse grained, and can necessitate copying of values cf. ML and Haskell. Using a technique similar to this Bancroft [1] has investigated deriving and reasoning about programs containing pointers. His technique relies on encapsulating complex data types into ADTs which export no pointers (references) to data structure elements. The ADTs encapsulate linear data structures, i.e. ones with no sharing. It would be ....
P G Bancroft and I J Hayes. Refinement in a type extension context. In Proceedings of the Fifth Australian Refinement Workshop (ARW-96). Department of Computer Science, The University of Queensland, April 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC