Freunden von diesem Artikel berichten:
A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information Chris Brink 1. Ausgabe
Hast du ein Profil? Anmelden
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Benachrichtigungen über neue Veröffentlichungen von Chris Brink erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information
Chris Brink
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.
286 pages
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 1. September 2001 |
| ISBN13 | 9781575863443 |
| Verlag | Centre for the Study of Language & Infor |
| Seitenanzahl | 286 |
| Maße | 150 × 220 × 10 mm · 397 g |
| Sprache | Englisch |
![Cover for David Barker-Plummer · Language, Proof, and Logic: Second Edition (Taschenbuch) [2 Revised edition] (2011)](https://imusic.b-cdn.net/images/item/original/321/9781575866321.jpg?david-barker-plummer-2011-language-proof-and-logic-second-edition-taschenbuch&class=scaled&v=1404323202)
![Cover for Donald E. Knuth · Things a Computer Scientist Rarely Talks About - Lecture Notes (Taschenbuch) [New edition] (2003)](https://imusic.b-cdn.net/images/item/original/269/9781575863269.jpg?donald-e-knuth-2003-things-a-computer-scientist-rarely-talks-about-lecture-notes-taschenbuch&class=scaled&v=1426459344)
![Cover for Grammatical Interfaces in HPSG - Studies in Constraint-Based Lexicalism (Taschenbuch) [New Ed edition] (2001)](https://imusic.b-cdn.net/images/item/original/146/9781575863146.jpg?2001-grammatical-interfaces-in-hpsg-studies-in-constraint-based-lexicalism-taschenbuch&class=scaled&v=1775027599)
