| 
|
Quote: write programs as a specification in first-order predicate calculus and incrementally refine it into a program
topics >
all references >
references g-h >
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.
Topic: constructing proof and program together (22 items)