Verkauf durch Sack Fachmedien

Manna

Lectures on the Logic of Computer Programming

Medium: Buch
ISBN: 978-0-89871-164-6
Verlag: Society for Industrial and Applied Mathematics
Erscheinungstermin: 01.01.1987
Lieferfrist: bis zu 10 Tage

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.


Produkteigenschaften


  • Artikelnummer: 9780898711646
  • Medium: Buch
  • ISBN: 978-0-89871-164-6
  • Verlag: Society for Industrial and Applied Mathematics
  • Erscheinungstermin: 01.01.1987
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 1987
  • Serie: CBMS-NSF Regional Conference Series in Applied Mathematics
  • Produktform: Kartoniert
  • Gewicht: 120 g
  • Seiten: 53
  • Format (B x H x T): 152 x 228 x 8 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

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.