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：

19th International Conference on Logic Programming, ICLP 2003

中图分类号：

学科分类号：

摘要：

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

引用