| 
|
Quote: a language is secure if it detects most cases where its concepts break down and produce meaningless results
topics >
all references >
references a-b >
Topic:
preventing accidental errors
Topic:
compiler error checking
Topic:
type-safe and secure languages
Group:
security
Quotation Skeleton
Hoare [Bunyan (ed), Computer Systems Reliability, Infotech 1974, 505-534] introduced the essential requirement that a … its runtime system to detect as many cases … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: preventing accidental errors (36 items)
Topic: compiler error checking (16 items)
Topic: type-safe and secure languages (42 items)
Group: security (23 topics, 802 quotes)