上下文无关语言上的函数的实用类型检查 |
| |
作者姓名: | Hai-MingChen Yun-MeiDong |
| |
作者单位: | LaboratoryofComputerScience,InstituteofSoftware,ChineseAcademyofSciences,Beijing100080,P.R.China |
| |
摘 要: | 本文介绍函数式语言LFC的一种类型检查方法。LFC语言是为支持软件形式规约的获取和检验工作而开发的一个通用的形式规约语言。该语言使用并结合了形式语言和递归函数这两种功能的强大的数学工具。由此,LFC语言在保持很强的表达能力的同时,也使得在规约获取过程中使用机器学习和其他机器辅助技术成为可能。LFC语言的理论基础是一种新的递归函数,即定义在上下文无
|
关 键 词: | 上下文无关语言 递归函数 函数式语言 机器学习 规约 通用 软件 辅助技术 检查 获取 |
本文献已被 维普 等数据库收录! |
|