·2,447,543篇论文数据,部分数据来源于NoteExpress
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
应用推荐
模块上移
模块下移
不移动