9781575863443 - a paradigm for program semantics: power structures and duality di brink, chris; rewitzky, ingrid m. (1 risultati)
A Paradigm for Program Semantics: Power Structures and Duality
C. Brink; Ingrid Rewitzky; Ingrid M. Rewitsky (Lecturer in Mathematics, University of Cape Town, South Africa)
Lingua: Inglese
Editore: Centre for the Study of Language & Information, 2002
- Brossura
Da: Asano Bookshop, Nagoya, AICHI, GiapponeAsano Bookshop
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 25,73
EUR 32,42 spedizioneSpedito da Giappone a U.S.A.Quantità: 1 disponibili
Condizione: Brand New. 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.
