Semantics of Sequential and Parallel Programs

Best, Eike

ISBN 10: 0134606434 ISBN 13: 9780134606439

Publisher: Prentice Hall, 1996

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.

About this title

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.

Edition details

• Publisher: Prentice Hall
• Publication date: 1996
• Language: English
• ISBN 10: 0134606434
• ISBN 13: 9780134606439
• Binding: Textbook Binding
• Edition number: 1
• Number of pages: 351