摘要
近年来,软件的形式开发越来越受重视。本文设计了一个形式系统,它能实现合成逻辑TAC中合子的自动生成。
Formal software development is a very important field of computer science these days. With the idea of Ref. [1,2], this paper presents a formal system, which can implement automatic generation of combinators in TAC of combinatory logic.
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
1989年第1期103-106,共4页
Journal of University of Electronic Science and Technology of China
关键词
合成逻辑
合子
形式系统
软件
software
format development
formal system
combinatorylogic
combinator
type scheme
