| 
|
Quote: computers do not guarantee absence of hardware faults; breaks proof of soundness of link-time type-checking; e.g., cosmic rays or heat-induced faults
topics >
all references >
references g-h >
Topic:
bugs
Topic:
security leaks and weaknesses
Topic:
what is a computer
Quotation Skeleton
All the proofs of soundness [of link-time type-checking] are premised … hardware faults, this premise is false. If a … a different word than the one it wrote. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: bugs (65 items)
Topic: security leaks and weaknesses (56 items)
Topic: what is a computer (62 items)