Summer Reading B2G1 Free
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | July 15, 2015

    Frank Wilczek: IMG You Are... Who?



    Writing a book is an unnatural act of communication. Speaking to a person, or even to an audience, is an interaction. Very different styles are... Continue »
    1. $20.97 Sale Hardcover add to wish list

    spacer
Qualifying orders ship free.
$190.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Personal Computers- General

Other titles in the History of Computing series:

Reflections on the Work of C.A.R. Hoare (History of Computing)

by

Reflections on the Work of C.A.R. Hoare (History of Computing) Cover

 

Synopses & Reviews

Publisher Comments:

Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is "the highest goal of programming-language design to enable good ideas to be elegantly expressed" These are the words of Sir Charles Antony Richard Hoare, or Tony Hoare to his colleagues and friends, a man who has inspired generations of researchers in computer science. His work, grounded in practical programming, has had a profound impact on the evolution of the field. This includes the development of Hoare logic and Communicating Sequential Processes (CSP). Reflections on the Work of C.A.R. Hoare presents a comprehensive edited survey of all aspects of these subjects, with original contributions by more than 30 international leaders in the field. The book, while honoring Hoare's important contributions, assembles a collection of chapters showing the state of the art in programming languages, sequential programs, concurrency, and unified theories of programming. Topics and features: Provides a scientific biography of Tony Hoare Demonstrates a principled combination of CSP and functional programming, and a CSP semantics for the π-calculus Reviews methods for proving Hoare formulae Investigates developments in game semantics and semantics based on the state monad Examines the satisfiability problem, void safety, and issues of auxiliary variables Introduces type families in Haskell and a description of Quicksort in Orc Describes an experiment using the Tokeneer archive, and a correctness proof of cryptographic protocols based on the Shadow Security model Presents a representation of CSP as a bigraphical reactive system, and shows how simple entities can be related to CSP processes Discusses the problem-frames approach, and explores algebraic properties of the new programming combinators This accessible monograph is an ideal overview of theoretical and empirical evolution in programming logic and semantics of programming languages. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge in all of the areas covered.

Synopsis:

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.

Table of Contents

Insight, Inspiration and Collaboration C. B. Jones and A. W. Roscoe From CSP to Game Semantics Samson Abramsky On Mereologies in Computing Science Dines Bjørner Roles, Stacks, Histories: A Triple for Hoare Johannes Borgstrom, Andrew D. Gordon and Riccardo Pucella Forward with Hoare Mike Gordon and Helene Collavizza Probabilistic Programming with Coordination He Jifeng The Operational Principle and Problem Frames Michael Jackson The Role of Auxiliary Variables in the Formal Development of Concurrent Programs Cliff B. Jones Avoid a Void: The Eradication of Null Dereferencing Bertrand Meyer, Alexander Kogtenkov and Emmanuel Stapf Unfolding CSP Mikkel Bundgaard and Robin Milner Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures David Kitchin, Adrian Quark and Jayadev Misra The Thousand-and-One Cryptographers AK McIver and CC Morgan On Process-algebraic Extensions of Metric Temporal Logic Christoph Haase, Joel Ouaknine and James Worrell Fun with Type Functions Oleg Kiselyov, Simon Peyton Jones and Chung-chieh Shan On CSP and the Algebraic Theory of Effects Rob van Glabbeek and Gordon Plotkin CSP is Expressive Enough for π A.W. Roscoe The Tokeneer Experiments Jim Woodcock, Emine Gokce Aydal and Rod Chapman

Product Details

ISBN:
9781848829114
Author:
Roscoe, A. W.
Publisher:
Springer
Author:
Wood, Kenneth R.
Author:
Jones, Cliff B.
Subject:
Computers Reference-History and Society
Subject:
history of computing
Subject:
Personal Computers-General
Edition Description:
2010
Publication Date:
20100931
Binding:
HARDCOVER
Language:
English
Pages:
460
Dimensions:
235 x 155 mm 1760 gr

Related Subjects

Computers and Internet » Computers Reference » General
Computers and Internet » Computers Reference » History and Society
Computers and Internet » Personal Computers » General
Health and Self-Help » Health and Medicine » Medical Specialties
Reference » Science Reference » Technology

Reflections on the Work of C.A.R. Hoare (History of Computing) New Hardcover
0 stars - 0 reviews
$190.25 In Stock
Product details 460 pages Springer - English 9781848829114 Reviews:
"Synopsis" by , Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.