基于类型理论的面向对象多步证明系统

• 作者: 蔡家楣
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 扩展构造演算 面向对象程序设计 定理证明
• 年，卷（期）: 1998,（12）
• 所属期刊栏目: 软件技术研究与实现
• 页码范围: 27-29,34
• 页数: 4页
• 分类号: TP3
• 字数: 4116字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.1998.12.009

摘要

介绍基于扩展构造型演算的交互式多步证明系统.该系统中以函数式语言ML为开发环境,建立了ECC的项、规则证明策略和证明管理机制的描述,并引入规约类型,类类型、类和对象的表示,为面向对象的程序规约和定理证明系统的结合进行了一些探索.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡家楣	浙江工业大学信息工程学院	56	730	13.0	24.0