|
||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
ABSTRACT
The modern world is increasingly dependent on software, and yet the software we use is often manifestly insecure and unreliable. It seems only a matter of time until a "cyber-Pearl harbor" occurs. As a result, we can expect future systems to be programmed in safer, higher-level languages. We discuss characteristics of such systems and languages, and how they help obtain the apparently conflicting goals of flexibility and reliability. REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
|
||||||||||||||||||||||||||||||||||