| 
|
Quote: languages in which erroneous programs have arbitrary side-effects are non-secure because every module must be proven error free before any can be
topics >
all references >
references sa-sz >
Topic:
program proving is infeasible
Topic:
functional side effects
Quotation Skeleton
Languages permitting erroneous programs to have arbitrary side-effects … meet any specification until every module in the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)
Topic: functional side effects (11 items)