Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
David A. Naumann. Predicate transformer semantics of a higher-order imperative language with record subtyping. Science of Computer Programming, 41(1):1-51, 2001.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Predicate Transformer Semantics of an Oberon-Like LanguageDavid A. Naumann. procomet 1994: 467-487 Soundness of data refinement for a higher-order imperative languageDavid A. Naumann. TCS, 278(1-2):271-301, 2002. [doi]
The following publications are possibly variants of this publication: