....doc 关键词 : 软件安全；语言设计；类型系统；Hoare逻辑；指针逻辑 [gap=1224]Key words: software safety; language design; type systems; Hoare logic; pointer logic ...
基于122个网页-相关网页
... Audio Production Specialist 音频制作专家 Voice Talents 语言设计 3D Modelling and Animations 3D 3D建模及动画 ...
基于24个网页-相关网页
开设的程序语言设计(programming language design)这种课程，也是从底层告诉你如何设计一个程序语言，而不是教你指针数组怎么用，类怎么设计。
基于12个网页-相关网页
基本语言设计 [计] basic language project
计算机高级语言设计 Computer advanced language design ; High-level computer language design
语言设计规则 language design rules
语言设计师 language designer
语言设计准则 language design criteria
程序设计语言 programming language ; program language ; Program Design Language ; PDL
个人语言设计 personal language tailoring
英语编程语言设计 english programming language design
应用推荐