Healthiness versus realizability in predicate transformers
By: R.C. Holt.
Series: Technical report CSRI -- 240
Publisher: Computer Systems Research Institute, University of Toronto
Published: 1990
Place of publication: Toronto
Language: eng
Number of pages: 31
Subjects: Programming languages (Electronic computers)
Notes: Includes bibliographical references.