The project investigated the implementation of functional programming languages on novel computer architectures. A model machine called FPMND of data driven parallel reduction machine was designed and constructed. Backus’ FP language was implemented on the model machine. The contributions to this project include:

1. A formal proof of the correctness of the implementation of FP language on the model machine;
2. Some experiments with and case studies of functional programming in FP were conducted through writing and executing an expert system and an interpreter of the formal FP system in the FP language;
3. An improvement of the parallelism in the model machine was proposed and implemented.

Xu, J., Zhou, G., Xu, M., Yi, B., Zhu, H., Jin, L. and Da, M., The design and analysis of a data-driven parallel reduction machine FPM2 and the construction of its model machine, Scientia Sinica (Science in China) (series A), Feb. 1988.

Jin, L. and Zhu, H., Systems programming in the functional programming language FP, Journal of Computer Science and Technology, Vol. 3, No. 1, Jan. 1988.

Xu, J., Zhu, H. and Jin, L., Some researches on non van Neumann programming systems, Advances in Chinese Software Engineering, Vol. 1, 1988.

Xu, J., Zhou, G., Xu, M., Yi, B., Zhu, H., Jin, L. and Da, M. A data-driven parallel mutli-stack reduction machine FPM2 and its improvements, University Computing, (UK), Summer Issue, 1986.

Zhu, H. et al., FPM2-- a data driven parallel multi-stack reduction machine, Journal of Nanjing University, Special Issue on Computer Science, No. 4., Feb. 1985. (In Chinese)

Xu, J., Zhou, G., Xu, M., Yi, B., Zhu, H., Jin, L. and Da, M., An experiment with implementation of functional programming language FP on Non van Neumann computer architecture, Proc. of 1st National Conference on Fifth Generation of Computer Systems, May, 1985. (In Chinese)

Jin, L., Xu, J., Zhu, H., Experiments with systems programming in FP style, Proc. 2nd International Conference on Computers and Applications, Beijing, Jun. 1987.