Semantics of Sequential and Parallel Programs

Best, Eike

ISBN 10: 0134606434 / ISBN 13: 9780134606439

Published by Prentice-Hall, 1996

About this Item

pp. 351.

Seller Inventory # 4691260

Bibliographic Details

• Title: Semantics of Sequential and Parallel Programs
• Publisher: Prentice-Hall
• Publication Date: 1996
• Language: English
• ISBN 10: 0134606434
• ISBN 13: 9780134606439
• Condition: Used

About this title

Synopsis

Covers a range of sequential and parallel programming languages using a variety of mathematical description techniques. Chapters examine sequential nondeterministic programs, an operational view of relational semantics, definitions of Hoare's proof rule and Dijkstra's weakest preconditions, the data flow of sequential programs, the control flow of a variable-free language and alternative descriptions of the control flow, the relationships between partial order models and interleaving, a shared data language and a CSP language. Annotation c. by Book News, Inc., Portland, Or.

From the Back Cover

Based on an in-depth study of the most widely-used methods for achieving correctness in program design, this book presents the formal semantics of sequential and parallel programs and emphasizes formal relationships between different mathematical description techniques. Covers the semantics of sequential programs; sequential vs. parallel systems; control programs and Petri Nets; Operational semantics and fairness; programs with shared data; communicat ing programs ; proofs and solutions. For computer scientists and mathematicians.