| 
|
Quote: NIL limits side-effects by erroneous programs to inappropriate results of the correct type; by typestate checking
topics >
all references >
references sa-sz >
Group:
program proving
Topic:
error safe systems
Quotation Skeleton
NIL security is guaranteed at compile-time by a … returning inappropriate results of correct type on their … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: error safe systems (75 items)