English translation for "不动点语义"
|
- fixpoint semantic
Related Translations:
变换语义: transformational calculustransformational semantics 语义消解: semantic resolution 合成语义: compositional semantic 语义前提: semantic presupposition 语义信息: semantic information 语义区别: semantic differential 形式语义: formal definitionformal semantics of programming languages
- Example Sentences:
| 1. | 3 . schemas for semistructured data differ , however , from those for relational or object - oriented data . therefore , typing system and schema formalisms for xml - based semistructured data are extensively studied , and the algorithms both for computing type classification with maximal fixpoints semantics and maximal simulation are proposed , respectively
三、对半结构数据的类型及模式的描述形式进行了研究，并分别给出了使用最大不动点语义计算半结构数据类型划分的算法思想和最大仿真( simulation )计算方法的思想。 |
- Similar Words：
- "不动点法" English translation, "不动点方法" English translation, "不动点归纳法" English translation, "不动点理论" English translation, "不动点问题" English translation, "不动点指数" English translation, "不动点组合子" English translation, "不动反射" English translation, "不动杆菌感染" English translation, "不动杆菌属" English translation
|
|
|
