1 option
Lectures on the logic of computer programming / Zohar Manna.
- Format:
- Book
- Author/Creator:
- Manna, Zohar.
- Series:
- CBMS-NSF regional conference series in applied mathematics ; 31.
- CBMS-NSF regional conference series in applied mathematics ; 31
- Language:
- English
- Subjects (All):
- Computer programming.
- Logic, Symbolic and mathematical.
- Physical Description:
- 1 online resource (iv, 49 p. )
- Place of Publication:
- Philadelphia, Pa. : Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), 1980.
- Language Note:
- English
- System Details:
- Mode of access: World Wide Web.
- System requirements: Adobe Acrobat Reader.
- Summary:
- 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.
- 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.
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- Includes bibliographical references (p. 49).
- Title from title screen, viewed 04/05/2011.
- ISBN:
- 1-61197-038-5
- Publisher Number:
- CB31 SIAM
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.