Abstract
The development of systems software in functional programming language is still an open problem. This paper describes a preliminary experiment with systems programming in Backus’ FP systems[1]. It consists of two systems programs. One is a self-compiler of FP, the other an interpreter of the semantics of FFP (Formal Functional Programming). Both were implemented on an FP machine—FPM2. Some discussions are made finally.
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), 613–641.
Xu Manwu, An experimental model FPM2 for the FP language,Computer Research and Development,21:8 (1984), 8–19.
Zhu Hong, Xu Manwu and Xu Jiafu, FPM2—A data-driven parallel multi-stack reduction machine,Journal of Nanjing University, Special Issues on Computer Science, No.4, (1985), 17–25.
Xu Jiafu,et al., A Data-driven Parallel Multi-stack Reduction Machine FPM2 and Its Improvement, University Computing, Summer Issue, 1986.
Xu Jiafu,et al., The Design and Analysis of the Data-driven Parallel Reduction Machine FPM2 and the Construction of Its Model Machine FPMND,Scientia Sinica, 1(1987), 90–97.
J. Williams, Notes on the FP Style of Functional Programming, Functional Programming and Its Applications, Cambridge University Press, 1982.
J. Backus, Is Computer Science Based on the Wrong Fundamental Concept of ‘Program’? an Extended Concept, Algorithmic Languages, North-Halland, 1981.
R. Milner, A theory of type polymorphism in programming,Journal of Computer and Systems Science,17:3 (1978), 348–375.
R. Milner, The Staadard ML Core Language, University of Edinburgh, CSR-168-84, Oct. 1984.
R. M. Burstall, D. B. MacQueen and D. T. Sannella, HOPE: An Experimental Applicative Language, University of Edinburgh, CSR-62-80, 1980.
D. A. Turner, Functional Programs as Executable Specifications, Mathematical Logic and Programming Languages, Prentice-Hall, 1985.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jin, L., Zhu, H. Systems programming in the functional language FP. J. of Comput. Sci. & Technol. 3, 40–55 (1988). https://doi.org/10.1007/BF02943331
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943331