Stock image for illustration purposes only - book cover, edition or condition may vary.
Predicate Calculus and Program Semantics
Dijkstra, Edsger W.; Scholten, Carel S.
€ 111.23
FREE Delivery in Ireland
Description for Predicate Calculus and Program Semantics
Paperback. Series: Monographs in Computer Science. Num Pages: 231 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 370.
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy ... Read more
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag New York Inc. United States
Number of pages
231
Condition
New
Series
Monographs in Computer Science
Number of Pages
220
Place of Publication
New York, NY, United States
ISBN
9781461279242
SKU
V9781461279242
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Predicate Calculus and Program Semantics