Unifying Theories of Programming

Unifying Theories of Programming
Author :
Publisher :
Total Pages : 328
Release :
ISBN-10 : UOM:39015047062917
ISBN-13 :
Rating : 4/5 (17 Downloads)

Book Synopsis Unifying Theories of Programming by : Charles Antony Richard Hoare

Download or read book Unifying Theories of Programming written by Charles Antony Richard Hoare and published by . This book was released on 1998 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a synthesis of the theory of programming. It aims to use mathematical theory of programming to provide a similar basis for specification, design and implementation of programs. It is wide ranging both in its subject matter and also in its approach and style. The first five chapters justify and introduce the main concepts and methods to be used within the text, relating the goal of unification to the achievements of other branches of science and mathematics. The remaining chapters introduce more advanced programming language features one by one. The main methods of programming are summarised and concluded in a manner suitable for those already familiar with programming semantics. Definitions are accompanied by examples and the theorems by meticulous proof.


Unifying Theories of Programming Related Books

Unifying Theories of Programming
Language: en
Pages: 286
Authors: Andrew Butterfield
Categories: Computers
Type: BOOK - Published: 2010-07-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trin
Unifying Theories of Programming
Language: en
Pages: 317
Authors: Shengchao Qin
Categories: Computers
Type: BOOK - Published: 2010-10-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in N
Unifying Theories of Programming
Language: en
Pages: 328
Authors: Charles Antony Richard Hoare
Categories: Computers
Type: BOOK - Published: 1998 - Publisher:

DOWNLOAD EBOOK

This book provides a synthesis of the theory of programming. It aims to use mathematical theory of programming to provide a similar basis for specification, des
Unifying Theories of Programming
Language: en
Pages: 265
Authors: Steve Dunne
Categories: Computers
Type: BOOK - Published: 2006-06-22 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walwo
Unifying Theories of Programming
Language: en
Pages: 155
Authors: David Naumann
Categories: Computers
Type: BOOK - Published: 2015-01-05 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, i