Abstract
PARLE is a language for expressing parallelism and integrating symbolic and numeric computations. It is used as the Target Machine Language for the kernel system of the ESPRIT-1588 SPAN project, in which a parallel logic, a parallel functional, and a parallel object-oriented language are compiled onto PARLE and then onto a number of parallel architectures. PARLE is also used as parallel systems programming language to express numeric algorithms for partial differential equations solutions. In this paper, we present and discuss the main features of PARLE regarding parallelism and its support for integrated symbolic and numeric processing.
This paper describes research 50% funded by the European Community's ESPRIT Programme under ESPRIT Project-1588, otherwise known as "SPAN: Parallel Computer Systems for Integrated Symbolic and Numeric Processing".
S.C. McCabe is an employee of THORN EMI Central Research Labs, Hayes, England.
Preview
Unable to display preview. Download preview PDF.
References
Baiardi F., and Vanneschi M., "Paralellism Issues in multi-style computers", in Treleaven P.C., and Vanneschi M., (eds) "Future Parallel Computers", Springel Verlag (1987).
Clocksin W., and Mellish C., in "Programming in PROLOG", Springer-Verlag (1981).
Darlington J., and Reeve M., "ALICE: A multiprocessor reduction machine for the parallel evaluation of applicative languages", Proc. Int. Symo. Functional Programming Languages and Computer Architecture, (Jun. 81), pp. 32–62.
Deminet J., "Experience with Multiprocessor Algorithms", IEEE Trans. on Computers, vol. C-13, no 12, (Dec 1978), pp. 1112–1118.
Deering M.F., "Hardware and Software Architectures for Efficient AI", Proc. Nat. Conf. on Artificial Intelligence AAAI-84, (August 1984) pp. 73–78.
Eberbach E., "Self-Modifiable Algorithms and Their Applications", Research Note RN/88/27, Department of Computer Science, University College, London, (June 1988).
Eberbach E., Refenes A. N., "Virtual Machine Interpreter Version 2", Tech.Rep. SPAN-WP1-18, University College, London, (July 1988).
Foster J. M., "The Algebraic Specification of a Target Machine: Ten15", in: High Integrity Software, Pitman, London, 1988.
Hopkins R.P., "A recursive architecture supporting control flow, data flow, and reduction", Tech. Rep., Dept. Computer Science, University of Newcastle upon Tyne (1985).
Hoare C.A.R., "Communicating Sequential Processes", Prentice-Hall, 1985.
INMOS Ltd, "The OCCAM programming manual", Prentice Hall, 1984.
McCabe S., "The specification of PARLE", Tech. Rep. THORN-EMI Central Research Labs., Hayes, England, no. SPAN/WP2/8, (Jul. 1987).
McCabe S., "A Kernel System for Parallel Symbolic and Numeric Processing", PhD Thesis,Dept. Comp. Science., University College London, (July 1988).
McCarthy J., et al, in "LISP 1.5 programmer's mannual", MIT press, (Feb. 1965).
Mead C. A., and Conway A. L., "Introduction to VLSI Systems", Reading MA, Addison-Wesley, (1980).
May D., and Taylor R., "OCCAM", Inmos Tech.Rep. TR-72-occ-005. (1986).
Moon D. A., "The Architecture of the Symbolics 3600", Proc. 12th Int. Symp. on Computer Architecture, (1985), pp. 76–83.
Peyton-Jones S. L., et al, "GRIP — a high performance architecture for parallel graph reduction", IN2079, Department of Computer Science, University College, London, (Feb. 1987).
Refenes A. N., "Parallel Computer Architecture for Symbolic and Numeric Process" PhD Thesis, University of Reading, England, (July 1987).
Refenes A. N., "N_Expression Implementations to support the Integration of Symbolic and Numeric Processing", Future Generation Computer Systems, North Holland, 3 (1987),pp.161–187.
Refenes A. N., "Abstract Machines — Towards a unifying Intermediate Representation", Research Note RN8916, Department of Computer Science, University College, London, (Feb. 1989)
Refenes A. N., "Message-Passing via Singly-Buffered Channels", Tech Rep. UCL/CS/SPAN/pnr/MP1, Department of Computer Science, University College, London, (Feb. 1989)
Refenes A. N., Clough J. R., McCabe S. C., and Treleaven P. C., "The SPAN Project: Integrating Symbolic and Numeric Processing", in "ESPRIT Putting the technology to use", Proc. ESPRIT Technical Week, (Nov. 1988).
Sutherland I. E., and Mead C. A., "Microelectronics and Computer Science", Scientific American, vol. 237, (Sept. 1977). pp. 210–229.
Treleaven P. C., "Decentralised computer architecture", in Tiberghin J. (ed), "New computer architectures", Academic Press, London, (1984), pp 1–55.
Treleaven P.C., Refenes A.N., Lees K.J., McCabe S.C., "Computer Architectures for Artificial Intelligence", in Future Parallel Computers, Lecture Notes in Computer Science, vol. 272, Treleaven P., Vanneschi M. (eds.), (1987), pp. 416–492.
Vegdahl S.R., "A Survey of Proposed Architectures for Execution of Functional Languages", IEEE Trans. Computers, vol. C-33, no. 12 (Dec. 1984) pp. 1050–1071.
Wilner W. T., "Recursive Machines", Xerox Palo Alto Research Center, Internal Report (1980).
Yokota M., et al, "The design and Implemention of a Personal Sequential Inference Machine: PSI", New Generation Computers, vol. 1, no. 6, (1983).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Refenes, A.N., Eberbach, E., McCabe, S.C., Treleaven, P.C. (1989). Parle: A parallel target language for integrating symbolic and numeric processing. In: Odijk, E., Rem, M., Syre, JC. (eds) PARLE '89 Parallel Architectures and Languages Europe. PARLE 1989. Lecture Notes in Computer Science, vol 366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51285-3_41
Download citation
DOI: https://doi.org/10.1007/3-540-51285-3_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51285-1
Online ISBN: 978-3-540-46184-5
eBook Packages: Springer Book Archive