Vertel uw vrienden over dit artikel:
A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information Chris Brink 1e uitgave
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 1 september 2001 |
| ISBN13 | 9781575863443 |
| Uitgevers | Centre for the Study of Language & Infor |
| Pagina's | 286 |
| Afmetingen | 150 × 220 × 10 mm · 397 g |
| Taal en grammatica | Engels |
Meer door Chris Brink
Alles tonenMere med samme udgiver
Bekijk alles van Chris Brink ( bijv. Paperback Book en Hardcover Book )