A Paradigm for Program Semantics

von Chris Brink Kategorie: Chaosforschung ISBN: 1575863456 Kommentar abgeben

Synopsis This book provides a synthesis of four versions of programme semantics - relational semantics, predicate transformer semantics, information systems, and domain theory - showing that it is possible to do back-and-forth translation from any of these versions of programme semantics into any of the others.