A Paradigm for Program Semantics : Power Structures and Duality (Studies in Logic, Language, and Information, No. 17)

von Chris Brink

Kategorie: Chaosforschung
ISBN: 1575863448

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

Chaosforschung > A Paradigm for Program Semantics : Power Structures and Duality (Studies in Logic, Language, and Information, No. 17)

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/buecher/isbn/1575863448/">A Paradigm for Program Semantics : Power Structures and Duality (Studies in Logic, Language, and Information, No. 17) </a>