Lectures on the Logic of Computer Programming - Brossura

Manna, Zohar

 
9780898711646: Lectures on the Logic of Computer Programming
Brossura
ISBN 10: 0898711649 ISBN 13: 9780898711646
Casa editrice: Society for Industrial and Applied Mathematics, 1987

Sinossi

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Society for Industrial and Applied Mathematics
Data di pubblicazione
1987
Lingua
Inglese
ISBN 10 
0898711649
ISBN 13 
9780898711646
Rilegatura
Copertina flessibile
Numero di pagine
53
Contatto del produttore
non disponibile
Persona responsabile
non disponibile