Unifying Theories of Programming

Unifying Theories of Programming

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. The 15 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 20 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

Read More

Author
Publisher Springer Science & Business Media
Release Date
ISBN 3642145205
Pages 279 pages
Rating 4/5 (09 users)

More Books:

Unifying Theories of Programming
Language: en
Pages: 279
Authors: Andrew Butterfield
Categories: Computers
Type: BOOK - Published: 2010-07-30 - Publisher: Springer Science & Business Media

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: 256
Authors: Steve Dunne
Categories: Computers
Type: BOOK - Published: 2006-06-27 - Publisher: Springer Science & Business Media

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walwo
Theories of Programming Languages
Language: en
Pages:
Authors: John C. Reynolds
Categories: Computers
Type: BOOK - Published: 1998-10-13 - Publisher: Cambridge University Press

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming lan
Unifying Theories of Programming
Language: en
Pages: 298
Authors: Charles Antony Richard Hoare
Categories: Computers
Type: BOOK - Published: 1998 - Publisher:

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
First-Order Programming Theories
Language: en
Pages: 353
Authors: Tamas Gergely
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of
Programming with Specifications
Language: en
Pages: 416
Authors: David Luckham
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifica
Unifying Theories of Programming
Language: en
Pages: 143
Authors: David Naumann
Categories: Computers
Type: BOOK - Published: 2015-01-05 - Publisher: Springer

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, i
Unifying Theories of Programming
Language: en
Pages: 249
Authors: Burkhard Wolff
Categories: Computers
Type: BOOK - Published: 2013-01-03 - Publisher: Springer

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in Augus
Computing in Horn Clause Theories
Language: en
Pages: 322
Authors: Peter Padawitz
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem provi
Theories of Programming and Formal Methods
Language: en
Pages: 413
Authors: Zhiming Liu
Categories: Computers
Type: BOOK - Published: 2013-07-24 - Publisher: Springer

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, curr