Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II) - Image 1

£43.94

Morgan & Claypool Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Name: Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Brand: Morgan & Claypool
Price: 45.46 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

Last 23 days • 23 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 23 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £44 (16 days, 69.6%)

Price range: £44 - £45

Price levels: 2 different prices over 23 days

Description

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from the Inamori Foundation in 2000, and was knighted for "services to education and computer science" by Queen Elizabeth II of England in 2000. This book presents the essence of his various works―the quest for effective abstractions―both in his own words as well as chapters written by leading experts in the field, including many of his research collaborators. In addition, this volume contains biographical material, his Turing award lecture, the transcript of an interview and some of his seminal papers. Hoare's foundational paper "An Axiomatic Basis for Computer Programming", presented his approach, commonly known as Hoare Logic, for proving the correctness of programs by using logical assertions. Hoare Logic and subsequent developments have formed the basis of a wide variety of software verification efforts. Hoare was instrumental in proposing the Verified Software Initiative, a cooperative international project directed at the scientific challenges of large-scale software verification, encompassing theories, tools and experiments. Tony Hoare's contributions to the theory and practice of concurrent software systems are equally impressive. The process algebra called Communicating Sequential Processes (CSP) has been one of the fundamental paradigms, both as a mathematical theory to reason about concurrent computation as well as the basis for the programming language occam. CSP served as a framework for exploring several ideas in denotational semantics such as powerdomains, as well as notions of abstraction and refinement. It is the basis for a series of industrial-strength tools which have been employed in a wide range of applications. This book also presents Hoare's work in the last few decades. These works include a rigorous approach to specifications in software engineering practice, including procedural and data abstractions, data refinement, and a modular theory of designs. More recently, he has worked with collaborators to develop Unifying Theories of Programming (UTP). Their goal is to identify the common algebraic theories that lie at the core of sequential, concurrent, reactive and cyber-physical computations.

Product Specifications

Brand: Morgan & Claypool
Format: hardcover
ASIN: 1450387284
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 30 September 2021
Listed Since: 14 October 2021

Barcode

No barcode data available

Morgan & Claypool Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Understanding Concurrent Systems (Texts in Computer Science)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)

Thinking About Programs (ACM Books)

Computation Engineering: Applied Automata Theory and Logic

Computation Engineering: Applied Automata Theory and Logic

A Programming Approach to Computability (Monographs in Computer Science)

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

Springer - Formalization of Complex Analysis and Matrix Theory

Formalization of Complex Analysis and Matrix Theory

Program Logics for Certified Compilers

A Science of Operations: Machines, Logic and the Invention of Programming (History of Computing)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Concurrent Programming: Algorithms, Principles, and Foundations

Concurrency: The Works of Leslie Lamport (ACM Collection II)

A Process Algebraic Approach to Software Architecture Design

Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)

Handbook of Philosophical Logic: Volume 8

Edsger Wybe Dijkstra: His Life, Work, and Legacy (ACM Books)

Springer - Automated Theorem Proving: Theory and Practice

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)