Towards an object-oriented refinement calculus

Conference paper

Peer reviewed

Mark Utting and Ken Robinson

Proceedings of the 14th Australian Computer Science Conference

Australian Computer Science Conference (ACSC14), 14th (Kensington, Australia, 06-Feb-1991–08-Feb-1991)

University of New South Wales

1991

Abstract

Computer Software

Computation Theory and Mathematics

electronic data processing

No abstract available.

Title: Towards an object-oriented refinement calculus
Authors: Mark Utting (Author) - University of New South Wales
Ken Robinson (Author) - University of New South Wales
Contributors: Gopal Gupta (Editor)
John Lions (Editor)
Publication details: Proceedings of the 14th Australian Computer Science Conference
Conference details: Australian Computer Science Conference (ACSC14), 14th (Kensington, Australia, 06-Feb-1991–08-Feb-1991)
Publisher: University of New South Wales
Date published: 1991
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99450205102621
Output Type: Conference paper

620 Record Views