机译:精简和精简编程语言数据类型
University of Koblenz-Landau, Institute for Computer Science, D-56070 Koblenz, Germany;
software verification; formal specification; retrenchment refinement; java; UML/OCL; integer arithmetic;
机译:面向对象的数据库编程语言的类型系统
机译:使用静态类型语言进行GPGPU编程的高级数据结构
机译:动态类型编程语言的快速类型重构
机译:呼叫呼叫编程语言的数据细化
机译:静态类型的面向对象编程语言的模块化数据流分析。
机译:人类免疫缺陷病毒 逆转录和蛋白酶序列数据库:扩展 结合自然语言文本和序列分析的数据模型 程式
机译:价值编程语言在呼叫中优化数据的公理学
机译:扩展数据类型超出编程语言的界限