Parle: A parallel target language for integrating symbolic and numeric processing

  • A. N. Refenes
  • E. Eberbach
  • S. C. McCabe
  • P. C. Treleaven
Submitted Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 366)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BaiVai87]
    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).Google Scholar
  2. [CloMel81]
    Clocksin W., and Mellish C., in "Programming in PROLOG", Springer-Verlag (1981).Google Scholar
  3. [DarRee81]
    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.Google Scholar
  4. [Demine78]
    Deminet J., "Experience with Multiprocessor Algorithms", IEEE Trans. on Computers, vol. C-13, no 12, (Dec 1978), pp. 1112–1118.Google Scholar
  5. [Deerin84]
    Deering M.F., "Hardware and Software Architectures for Efficient AI", Proc. Nat. Conf. on Artificial Intelligence AAAI-84, (August 1984) pp. 73–78.Google Scholar
  6. [Eberba88]
    Eberbach E., "Self-Modifiable Algorithms and Their Applications", Research Note RN/88/27, Department of Computer Science, University College, London, (June 1988).Google Scholar
  7. [EbeRef88]
    Eberbach E., Refenes A. N., "Virtual Machine Interpreter Version 2", Tech.Rep. SPAN-WP1-18, University College, London, (July 1988).Google Scholar
  8. [Foster88]
    Foster J. M., "The Algebraic Specification of a Target Machine: Ten15", in: High Integrity Software, Pitman, London, 1988.Google Scholar
  9. [Hopkin85]
    Hopkins R.P., "A recursive architecture supporting control flow, data flow, and reduction", Tech. Rep., Dept. Computer Science, University of Newcastle upon Tyne (1985).Google Scholar
  10. [Hoare85]
    Hoare C.A.R., "Communicating Sequential Processes", Prentice-Hall, 1985.Google Scholar
  11. [INMOS84]
    INMOS Ltd, "The OCCAM programming manual", Prentice Hall, 1984.Google Scholar
  12. [McCabe87]
    McCabe S., "The specification of PARLE", Tech. Rep. THORN-EMI Central Research Labs., Hayes, England, no. SPAN/WP2/8, (Jul. 1987).Google Scholar
  13. [McCabe88]
    McCabe S., "A Kernel System for Parallel Symbolic and Numeric Processing", PhD Thesis,Dept. Comp. Science., University College London, (July 1988).Google Scholar
  14. [McCart65]
    McCarthy J., et al, in "LISP 1.5 programmer's mannual", MIT press, (Feb. 1965).Google Scholar
  15. [MeaCon80]
    Mead C. A., and Conway A. L., "Introduction to VLSI Systems", Reading MA, Addison-Wesley, (1980).Google Scholar
  16. [MayTay86]
    May D., and Taylor R., "OCCAM", Inmos Tech.Rep. TR-72-occ-005. (1986).Google Scholar
  17. [Moon85]
    Moon D. A., "The Architecture of the Symbolics 3600", Proc. 12th Int. Symp. on Computer Architecture, (1985), pp. 76–83.Google Scholar
  18. [Peyton87]
    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).Google Scholar
  19. [Refene87]
    Refenes A. N., "Parallel Computer Architecture for Symbolic and Numeric Process" PhD Thesis, University of Reading, England, (July 1987).Google Scholar
  20. [Refene88]
    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.Google Scholar
  21. [Refene89a]
    Refenes A. N., "Abstract Machines — Towards a unifying Intermediate Representation", Research Note RN8916, Department of Computer Science, University College, London, (Feb. 1989)Google Scholar
  22. [Refene89b]
    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)Google Scholar
  23. [RefCMT88]
    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).Google Scholar
  24. [SutMea77]
    Sutherland I. E., and Mead C. A., "Microelectronics and Computer Science", Scientific American, vol. 237, (Sept. 1977). pp. 210–229.Google Scholar
  25. [Trelea84]
    Treleaven P. C., "Decentralised computer architecture", in Tiberghin J. (ed), "New computer architectures", Academic Press, London, (1984), pp 1–55.Google Scholar
  26. [TreRML87]
    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.Google Scholar
  27. [Vegdah84]
    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.Google Scholar
  28. [Wilner80]
    Wilner W. T., "Recursive Machines", Xerox Palo Alto Research Center, Internal Report (1980).Google Scholar
  29. [Yokota83]
    Yokota M., et al, "The design and Implemention of a Personal Sequential Inference Machine: PSI", New Generation Computers, vol. 1, no. 6, (1983).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • A. N. Refenes
    • 1
  • E. Eberbach
    • 1
  • S. C. McCabe
    • 1
  • P. C. Treleaven
    • 1
  1. 1.Department of Computer ScienceUniversity College LondonLondonUnited Kingdom

Personalised recommendations