VMλ swMATH ID: 17460 软件作者： 埃希罗·苏米（Eijiro Sumii）；伊迪奥·班奈 描述： ML的扩展与发现科学的假设观点：形式化和实现。我们提出了VMlambda，一种函数语言VML的形式化和实现。VML是由发现科学家提出的一种编程语言，旨在帮助知识发现过程。它是ML的一个非平凡的扩展，具有假设的视图。从操作上讲，假设视图是一个带有表示的值，表示如何创建该值。假设观点的概念已经在基因组分析领域取得了成功，并且已知在知识发现过程中很有用。然而，VML作为一种编程语言只是在英语散文中非正式定义的，在理论和实践中都存在问题。因此，正确定义和实现具有形式基础的VML将对发现科学以及相应的领域科学有很大帮助。尽管这个扩展VMlambda简单明了，但它的设计需要非常仔细地查找和修复原始VML的问题。我们还介绍了VMlambda的一个实际实现，它是用Camlp4编写的，是OCaml的保守转换程序。此实现广泛使用了标记参数和多态变量，这是OCaml的两个高级功能，起源于OLabl。 主页： http://scholar.lib.vt.edu/ejournals/JFLP/JFLP-mirror/articles/2003/S03-01/JFLP-A03-03/vml.pdf 关键词： VMλ 相关软件： OCaml公司；凸轮4 引用于： 1文件 2位作者引用 1 伊迪奥·班奈 1 埃希罗·苏米 连载1篇 1 函数与逻辑程序设计杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文