正式函数式程序设计语言的一种操作性语义模型期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

正式函数式程序设计语言的一种操作性语义模型

作者姓名：	江明德

摘要：	本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型,它实质上是LISP虚拟机上的一个解释程序。
本文献已被 CNKI 等数据库收录！