PARLE: A Parallel Target Language for Integrating Symbolic and Numeric Processing

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.

[1]  Apostolos Nickolaos Refenes.  Parallel computer architecture for symbolic and numeric processing , 1987 .

[2]  J. M. Foster.  The algebraic specification of a target machine: Ten15 , 1989 .

[3]  Steven R. Vegdahl,et al.  A Survey of Proposed Architectures for the Execution of Functional Languages , 1984, IEEE Transactions on Computers.

[4]  Joan Ockman,et al.  The Architecture of the City , 1982 .

[5]  Carver A. Mead,et al.  Microelectronics and Computer Science , 1977 .

[6]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[7]  Marco Vanneschi,et al.  Parallelism Issues in Multi-Style Computers , 1986, Future Parallel Computers.

[8]  Michael F. Deering.  Hardware and Software Architectures for Efficient AI , 1984, AAAI.

[9]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[10]  Jarek Deminet.  Experience with Multiprocessor Algorithms , 1982, IEEE Transactions on Computers.

[11]  Lynn Conway,et al.  Introduction to VLSI systems , 1978 .

[12]  Simon L. Peyton Jones,et al.  GRIP - A high-performance architecture for parallel graph reduction , 1987, FPCA.

[13]  David A. Moon,et al.  Architecture of the Symbolics 3600 , 1985, ISCA '85.

[14]  Apostolos Nikolaos Refenes,et al.  N-Expression implementations for integrated symbolic and numeric processing , 1987, Future Gener. Comput. Syst..

[15]  Philip C. Treleaven,et al.  Computer Architectures for Artificial Intelligence , 1986, Future Parallel Computers.