Capa do artigo A Paradigm For Program Semantics

A Paradigm For Program Semantics

Power Structures And Duality

by Ingrid Rewitsky e Chris Brink
language: english
Publisher: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, September of 2001 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
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.

A Paradigm For Program Semantics

Power Structures And Duality

by Ingrid Rewitsky e Chris Brink

Property Description
ISBN: 9781575863443
Publisher: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION
Release Date: September of 2001
Language: English
Dimensions: 16 x 23 x 2 mm
Cover: Softcover
Pages: 286
Format: Book
Collection: Studies In Logic, Language & Information
Categories: Books in English > Fiction > Linguistics and Philology
Books in English > Others
EAN: 9781575863443

BOOKS FROM THE SAME COLLECTION

CHRIS BRINK

SEE MORE TITLES BY THIS AUTHOR