从程序设计理论(programming language theory)角度 寻求支持并发(concurrency),分布(distribution),移动(mobility)概念的核心模型(CCS,CSP, , ,join,ambient,seal,.
基于16个网页-相关网页
以上来源于: WordNet
His research includes programming language design, implementation and theory.
他的研究领域包括编程语言的设计、实现和理论。
Based on the ore caving-drawing theory a new software of computer system for ore caving-drawing was developed, using a fully new object-oriented programming language.
在崩落法放矿理论的基础上,利用全新面向对象编程语言,开发了一种新的崩落法放矿计算机系统软件。
It was to be a thoroughly modern programming language, embodying all the major advances in computer theory of the past quarter-century.
它要成为一种全新的编程语言,要体现出过去二十五年中计算机理论上的所有巨大进展。
应用推荐