operational semantic model
operational semantic model
操作语义模型
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型，它实质上是LISP虚拟机上的一个解释程序。
youdao
更多双语例句