×

对低级代码统一类型检查和属性检查。 (英语) Zbl 1315.68086

第36届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2009年1月18-24日,美国佐治亚州萨凡纳市,2009年1月18日至24日,纽约:计算机械协会(ACM)(ISBN 978-1-60558-379-2)。302-314(2009年)。

理学硕士:

68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68N15 程序设计语言理论
PDF格式 BibTeX公司 XML 引用
全文: 内政部