Data types and program correctness

Barbara Liskov. Data types and program correctness. In American Federation of Information Processing Societies: 1975 National Computer Conference, 19-22 May 1975, Anaheim, CA, USA. Volume 44 of AFIPS Conference Proceedings, pages 285-286, AFIPS Press, 1975. [doi]

Abstract

Abstract is missing.