A Paradigm for Program Semantics – Power Structures & Duality: Power Structures and Duality (Stanford Linguistics Association) - Hardcover

Brink, Chris

Hardcover

ISBN 10: 1575863456 ISBN 13: 9781575863450

Publisher: Center for the Study of Language and Information, 2002

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.

About this title

About the Author

Chris Brink was vice-chancellor of Newcastle University from 2007 to 2016

Edition details

• Publisher: Center for the Study of Language and Information
• Publication date: 2002
• Language: English
• ISBN 10: 1575863456
• ISBN 13: 9781575863450
• Binding: Hardcover
• Number of pages: 286