Λ演算

作品数：10被引量：21H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：江南何炎祥李清安宋国新丁志义更多>>
相关机构：南京大学上海交通大学武汉大学湖北工业大学更多>>
相关期刊：《福州大学学报（自然科学版）》《小型微型计算机系统》《程序员》《语数外学习（高中版）（下）》更多>>
相关基金：国家自然科学基金博士科研启动基金国家教育部博士点基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
类型系统与程序正确性问题被引量：3
《计算机科学》2006年第1期141-143,157,共4页丁志义 宋国新 邵志清 
本文工作得到国家自然科学基金和中科院计算机科学重点实验室资助(编号:60373075;SYSKF0305)。
类型系统能检出合法程序的语义错误，可以缩短调试时间，在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子类型的高阶类型系统腿已成为类型化语言的演算核心。类型系统和直觉主义极小逻辑是同构的。证明系统...
关键词：类型系统 程序验证 Λ演算 证明理论 程序正确性 语义错误 执行程序 直觉主义 子类型 代码 
类型系统的研究与进展被引量：2
《计算机科学》2000年第5期5-13,共9页周晓聪 李文军 李师贤 
高等学校博士学科点专项科研基金;资助号:99-018-411703
1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代初出现的Algol语言提出了数据类型的概念。逻辑学家J.Girard和计算机科学家J.Reynold在70年代初为类型系统引入...
关键词：类型系统 Λ演算 面向对象 软件开发 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部