Lambda演算相关论文
本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养......
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言......
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序......
随着证明理论和定理证明器的不断发展与成熟，形式语义研究已经从传统的基于手工证明的研究进入到机器可处理的机械语义的研究。交互......
