Preview
Unable to display preview. Download preview PDF.
References
O.-J. Dahl, B. Myhrhaug, K. Nygaard: The Simula 67 Common Base Language. Norwegian Computing Center, 1968.
O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare: Structured Programming (Chapter III, section 6.2). Academic Press, 1972.
C.A.R. Hoare: Proof of Correctness of Data Representation. Acta Informatica 1 (1972), pp. 271–281.
A. Wang: Generalized Types in High-Level Programming Languages. Research Report no. 1, Dept. of Informatics, University of Oslo, 1975.
D.C. Luckham, N. Suzuki: Verification of Array, Record and Pointer Operations in Pascal. ACM Trans. on Prog. Lang. 1(2), 1979, pp. 226–244.
J. McLean: A Formal Foundation for the Abstract Specification of Software. JACM, Vol.31 (1984), pp. 600–627. Springer Verlag 1978, pp. 211–236.
D.L. Parnas, Y. Wang: The Trace Assertion Method of Module-Interface Specification. Technical Report 89-261, Queen's University at Kingston, TRIO, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dahl, OJ. (1990). Object orientation and formal techniques. In: Bjørner, D., Hoare, C.A.R., Langmaack, H. (eds) VDM '90 VDM and Z — Formal Methods in Software Development. VDM 1990. Lecture Notes in Computer Science, vol 428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52513-0_1
Download citation
DOI: https://doi.org/10.1007/3-540-52513-0_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52513-4
Online ISBN: 978-3-540-47006-9
eBook Packages: Springer Book Archive