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.
Similar content being viewed by others
References
J. Backus, Can programming be liberated from the von Neumann style? A functional style and its algebra of programs.CACM,21:8 (1978).
J. Backus, The algebra of functional programs: Function level reasoning, Linear equations and Extended definitions, In Formalization of Programming Concepts, Lecture Notes in Computer Science, 107.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zhu, H. Some mathematical properties of the functional programming language FP. J. of Comput. Sci. & Technol. 2, 202–216 (1987). https://doi.org/10.1007/BF02973505
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02973505