Abstract:
The relational calculus MU/sub 2/, presented in de Roever's dissertation as a framework for describing and proving properties of programs, was conjectured by David Park t...Show MoreMetadata
Abstract:
The relational calculus MU/sub 2/, presented in de Roever's dissertation as a framework for describing and proving properties of programs, was conjectured by David Park to be complete. In this paper we confirm Park's conjecture.
Published in: Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
Date of Conference: 24-24 June 1998
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-8506-9
Print ISSN: 1043-6871
