Preview
Unable to display preview. Download preview PDF.
12. References
C.B. Jones, 'systematic software development using VDM', Prentice-Hall International, 1986.
H. Barringer, J.H. Cheng and C.B. Jones, ‘A logic covering undefinedness in program proofs', Acta Informatica, vol. 21 pp 251–259, 1984.
A.J. Evans, ‘Heap storage specification and refinement to a target language', RAISE/STC/AJE/1, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
George, C. (1987). Heap storage specification and development. In: Bjørner, D., Jones, C.B., Mac an Airchinnigh, M., Neuhold, E.J. (eds) VDM '87 VDM — A Formal Method at Work. VDM 1987. Lecture Notes in Computer Science, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17654-3_7
Download citation
DOI: https://doi.org/10.1007/3-540-17654-3_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17654-1
Online ISBN: 978-3-540-47740-2
eBook Packages: Springer Book Archive