模块化程序设计的代数理论

重庆交通大学学报（自然科学版） ›› 1991, Vol. 10 ›› Issue (4): 60-64.

模块化程序设计的代数理论

李俊雄

管理工程系

收稿日期:1990-11-10 出版日期:1991-08-26 发布日期:2016-11-09
作者简介:俊雄,男.27岁,助教。
基金资助:
受院青年科学基金资助

An Algebraic Theory on Modular Programming

Li Junxiong

Management Egineering Department

Received:1990-11-10 Online:1991-08-26 Published:2016-11-09

摘要/Abstract

摘要： 文献[1]对程序开发中逐步求精过程予以形式化,提出求精实现的数学定义。本文在此基础上提出模块化实现的概念,作为模块化程序设计过程的形式化定义。本文证明了模块化实现具有水平合成与垂直合成性质,文[1]中的求精实现是本文定义的模块实观的一个特例。

关键词: 代数语义学, 代数说明, 形式化程序设计方法, 范畴, 函子

Abstract: To formalize the process of the stepwise refinement in programming, the concept of refinement implement was defined in paper[1]. In this paper, we propose the modular implement as the formal description of modular programming. It is proved that the modular implement is horizonally and vertically composable. The refinement implement is really a special instance of the modular implement in this paper.

Key words: algebraic semantics, algebraic specification, formal programming methodology, category, functor

李俊雄. 模块化程序设计的代数理论[J]. 重庆交通大学学报（自然科学版）, 1991, 10(4): 60-64.

Li Junxiong. An Algebraic Theory on Modular Programming[J]. Journal of Chongqing Jiaotong University(Natural Science), 1991, 10(4): 60-64.