Zohar Manna
Society for Industrial and Applied Mathematics
e druk, 1987
9780898711646
Lectures on the Logic of Computer Programming
Specificaties
Paperback, 53 blz.
|
Engels
Society for Industrial and Applied Mathematics |
1987
ISBN13: 9780898711646
Rubricering
Onderdeel van serie
CBMS-NSF Regional Co
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9780898711646
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:53
Uitgever:Society for Industrial and Applied Mathematics
Serie:CBMS-NSF Regional Co
Inhoudsopgave
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.