Loading... Please wait...

Lectures on the Logic of Computer Programming

Hover over image to zoom

$37.50
Order Code:
CB31

 Product Description

by Zohar Manna

-

1980 / iv + 49 pages / Softcover / ISBN: 978-0-898711-64-6 / List Price $37.50 / SIAM/CBMS Member Price $26.25 / Order Code CB31

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.


ISBN: 9780898711646

 Find Similar Products by Category

 Product Reviews

This product hasn't received any reviews yet. Be the first to review this product!

 

newsletter

Follow us on

Copyright 2014 SIAM Bookstore. All Rights Reserved.
Sitemap | BigCommerce Premium Themes by PSDCenter

Society for Industrial and Applied Mathematics 3600 Market St., 6th Fl. Philadelphia, PA 19104-2688 USA +1-215-382-9800 FAX: +1-215-386-7999 www.siam.org email: siambooks@siam.org

Click the button below to add the Lectures on the Logic of Computer Programming to your wish list.