|
Total Requests 0 Unsatisfied Requests 0
|
You searched IISERK - Subject: Terrestrische ecologie.
|
Request |
|
Call Number
|
001.64/2
|
Author
|
Manna, Zohar.
|
Title
|
Lectures on the logic of computer programming [electronic resource] / Zohar Manna.
|
Publication
|
Philadelphia, Pa. : Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), 1980.
|
Material Info.
|
1 electronic text (iv, 49 p.) : digital file.
|
Series
|
CBMS-NSF regional conference series in applied mathematics ; 31
|
Series
|
CBMS-NSF regional conference series in applied mathematics ; 31.
|
Summary Note
|
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.
|
Notes
|
Includes bibliographical references (p. 49).
|
Notes
|
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.
|
ISBN
|
9781611970388 (electronic bk.)
|
Subject
|
Computer programming.
|
Subject
|
Logic, Symbolic and mathematical.
|
Subject
|
Partial correctness of programs
|
Subject
|
Termination of programs
|
Subject
|
Total correctness of programs
|
Subject
|
Systematic program annotation
|
Subject
|
Synthesis of programs
|
Subject
|
Termination of production systems
|
Added Entry
|
Society for Industrial and Applied Mathematics.
|
Date
|
Year, Month, Day:01405141
|
Link
|
SIAM
|