函数式语言论文

程序正确性验证的几个问题
论文题目:程序正确性验证的几个问题论文类型:博士论文论文专业:应用数学作者:范年柏导师:周叔子,张大方关键词:形式化验证,统一建模语言,模型检验,函数式语言,副作用,抽象数据类...
交互式过程性知识表示与获取及其实现的研究
论文题目:交互式过程性知识表示与获取及其实现的研究论文类型:博士论文论文专业:农业电气化与自动化作者:敖丽敏导师:汪懋华关键词:过程性知识表示,函数式语言,上下文无关文法,语法...