| 
|
Quote: in Alphard, every function has concrete input and output assertions
topics >
all references >
references t-z >
Topic:
program proof via assertions
Note
each implementation function includes "concrete input and output assertions"
Topic: program proof via assertions (61 items)