Map
Index
Random
Help
th

Quote: write programs as a specification in first-order predicate calculus and incrementally refine it into a program

topics > all references > references g-h > QuoteRef: hehnEC2_1984 , p. abstract



Topic:
constructing proof and program together

Quotation Skeleton

Programs are given a new semantics with the … a program via the rules of Predicate Calculus. …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: constructing proof and program together (22 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.