Achieving type safety for low-level code

被引：0

作者：

Morrisett, Greg ^{[1
]}

机构：

[1] Cornell University, Ithaca,NY,14853, United States

来源：

Lect. Notes Comput. Sci. | 1600年 / 1-2期

关键词：

Compendex;

D O I：

8th Asian Computing Science Conference, ASIAN 2003

中图分类号：

学科分类号：

摘要：

Codes (symbols) - Legacy systems - C (programming language) - Java programming language

引用