Predicate transformer semantics of a higher-order imperative language with record subtyping

DOI10.1016/S0167-6423(00)00005-8zbMath0983.68118OpenAlexW1999582424MaRDI QIDQ5946569

David A. Naumann

Publication date: 14 October 2001

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(00)00005-8

zbMATH Keywords

ordered data typespredicate transformerstotal-correctness semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

Category Theoretic Models of Data Refinement, A Theory of Pointers for the UTP, Soundness of data refinement for a higher-order imperative language