Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Bibliography [1] John C. Reynolds. Intuitionistic reasoning about shared mutable data

Summary: Bibliography
[1] John C. Reynolds. Intuitionistic reasoning about shared mutable data
structure. In Jim Davies, Bill Roscoe, and Jim Woodcock, editors, Mil­
lennial Perspectives in Computer Science, pages 303--321, Houndsmill,
Hampshire, 2000. Palgrave.
[2] Rodney M. Burstall. Some techniques for proving correctness of pro­
grams which alter data structures. In Bernard Meltzer and Donald
Michie, editors, Machine Intelligence 7, pages 23--50. Edinburgh Uni­
versity Press, Edinburgh, Scotland, 1972.
[3] C. A. R. Hoare. An axiomatic basis for computer programming. Com­
munications of the ACM, 12(10):576--580 and 583, October 1969.
[4] C. A. R. Hoare. Proof of a program: FIND. Communications of the
ACM, 14(1):39--45, January 1971.
[5] Samin Ishtiaq and Peter W. O'Hearn. BI as an assertion language for
mutable data structures. In Conference Record of POPL 2001: The
28th ACM SIGPLAN­SIGACT Symposium on Principles of Program­
ming Languages, pages 14--26, New York, 2001. ACM.
[6] Peter W. O'Hearn and David J. Pym. The logic of bunched implications.
Bulletin of Symbolic Logic, 5(2):215--244, June 1999.
[7] David J. Pym. The Semantics and Proof Theory of the Logic of


Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University


Collections: Mathematics