ACM Home Page
Please provide us with feedback. Feedback
Keynote address: towards secure systems programming languages
Full text PdfPdf (70 KB)
Source Symposium on Applied Computing archive
Proceedings of the 2004 ACM symposium on Applied computing table of contents
Nicosia, Cyprus
SESSION: Keynote address table of contents
Pages: 1 - 2  
Year of Publication: 2004
ISBN:1-58113-812-1
Author
Sponsor
SIGAPP: ACM Special Interest Group on Applied Computing
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 4,   Downloads (12 Months): 18,   Citation Count: 0
Additional Information:

abstract   references   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/967900.967902
What is a DOI?

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.

 
1
{BGLA} Lars Bak, Steffen Grarup, Kasper V. Lund, and Jakob R. Andersen. OOVM web site. http://www.oovm.com/.
 
2
{HHL+} David Holmes, Tony Hosking, Doug Lea, Bill Pugh, and Jan Vitek. OVM web site. http://www.ovmj.org/.
3
 
4
{Jik} Jikes/RVM web site. http://www-124.ibm.com/developerworks/oss/jikesrvm/.
 
5
{Nat} Native Oberon web site. http://www.oberon.ethz.ch/native/.