| 
|
Quote: every program is a transition axiom specification; a compiler translates the program's explicit and implicit state functions
topics >
all references >
references i-l >
Topic:
constructing proof and program together
Topic:
requirement specification by assertion
Quotation Skeleton
Is every program a specification? Yes. A program … in writing a compiler from a source language … the program, including ones like pc and the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: constructing proof and program together (22 items)
Topic: requirement specification by assertion (28 items)