?类型系统
...软件安全;语言设计;类型系统;Hoare逻辑;指针逻辑 [gap=1224]Key words: software safety; language design; type systems; Hoare logic; pointer logic ...
一阶类型系统
二阶类型系统
典型程序语言系统 ; 程序语言系统
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。