| Some Mathematical Properties of the Functional Programming Language FP |
| |
| 引用本文： | Zhu Hong. Some Mathematical Properties of the Functional Programming Language FP[J]. 计算机科学技术学报, 1987, 2(3): 202-216. DOI: 10.1007/BF02973505 |
| |
| 作者姓名： | Zhu Hong |
| |
| 作者单位： | Nanjing University |
| |
| 摘 要： | This paper will introduce the function systems approach to study the mathematicalproperties of Backus functional programming language FP.Here,a function system isdefined as a set of functions o FP.In the paper,we define the notions of complete,orthogonaland orthonormal systems,and prove their principal properties.These properties are used in thediscussion of the completeness of FP program algebra and properties of the expansion ofprogram in orthogonal systems.
|
Some mathematical properties of the functional programming language FP |
| |
| Hong Zhu. Some mathematical properties of the functional programming language FP[J]. Journal of Computer Science and Technology, 1987, 2(3): 202-216. DOI: 10.1007/BF02973505 |
| |
| Authors: | Hong Zhu |
| |
| Affiliation: | Nanjing University; |
| |
| Abstract: | This paper will introduce the function systems approach to study the mathematical properties of Backus functional programming language FP[1]. Here, a function system is defined as a set of functions of FP. In the paper, we define the notions of complete, orthogonal and orthonormal systems, and prove their principal properties. These properties are used in the discussion of the completeness of FP program algebra and properties of the expansion of program in orthogonal systems. |
| |
| Keywords: | |
| 本文献已被 CNKI SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载免费的PDF全文 |
