Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics v. 31)

Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics v. 31)

By: Zohar Manna (author), Ron Rozier (series_editor)Paperback

1 - 2 weeks availability

Description

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.

Create a review

Contents

Partial correctness: Invariant method; Subgoal method; Subgoal method versus invariant method; Termination: Well-founded ordering method; The multiset ordering; Total correctness; Intermittent method; Systematic program annotation; Range of Individual variables; Relation between variables; Control invariants; Debugging; Termination and run-time analysis; Synthesis of programs: The weakest precondition operator; Transformation rules; Simultaneous-goal principle; Conditional- formation principle; Recursion-formulation principle; Generalization; Program modification; Comparison with structured programming; Termination of production systems: Examples: associativity; Example: distribution system; Differentiation system; Nested multisets.

Product Details

  • publication date: 01/01/1987
  • ISBN13: 9780898711646
  • Format: Paperback
  • Number Of Pages: 53
  • ID: 9780898711646
  • weight: 120
  • ISBN10: 0898711649

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close