These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，
式
，式规约与分析。
shù jù lèi xíng
data type
声明：以
例句、词性分类均由互
源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
haunch-up, haunt, haunted, haunting, Hauptmann, Hauptvermutung, Hausa, Hausas, hausen, hausfrau,
相似单词
数据库基础, 数据库设计, 数据库文件的扩展名, 数据库信息, 数据类, 数据类型, 数据联络层, 数据链路层, 数据流, 数据流计算机,