Parallel language developments in Europe: An overview

This article is concerned with the topic of parallel programming language design and implementation, with particular emphasis on the developments which are, and have been, taking place in Europe. Consideration is given to specific approaches to parallel programming with illustrative examples taken from projects which have been carried out in Europe. The paper is based on a report prepared for the European Commission during 1990.

[1]  D. A. Turner.  The semantic elegance of applicative languages , 1981, FPCA '81.

[2]  K. G. Stevens,et al.  CFD - A FORTRAN-like language for the ILLIAC IV , 1975, Programming Languages and Compilers for Parallel and Vector Machines.

[3]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[4]  Michael Gerndt,et al.  SUPERB: A tool for semi-automatic MIMD/SIMD parallelization , 1988, Parallel Comput..

[5]  Keith L. Clark,et al.  PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..

[6]  Ehud Shapiro,et al.  Concurrent PROLOG: Collected Papers , 1987 .

[7]  Helmut Weber.  A microprogrammed implementation of EULER on IBM system/360 model 30 , 1967, CACM.

[8]  Wil Plouffe,et al.  An asynchronous programming language and computing machine , 1978 .

[9]  Robin Milner,et al.  A Metalanguage for interactive proof in LCF , 1978, POPL.

[10]  Leon S. Levy.  A walk through AWK , 1983, SIGP.

[11]  Paul H. J. Kelly.  Functional programming for loosely-coupled multiprocessors , 1989, Research monographs in parallel and distributed computing.

[12]  Takashi Chikayama,et al.  An Abstract KL1 Machine and Its Instruction Set , 1987, SLP.

[13]  Mario Tokoro,et al.  The design and implementation of Concurrent Smalltalk , 1986, OOPSLA 1986.

[14]  Robert H. Halstead,et al.  MULTILISP: a language for concurrent symbolic computation , 1985, TOPL.

[15]  Shigeo Sugimoto,et al.  A Multi-Microprocessor System for Concurrent LISP , 1983, ICPP.

[16]  Jean-Luc Dekeyser,et al.  EVA: an explicit vector language , 1990, SIGP.

[17]  Robin Milner,et al.  A proposal for standard ML , 1984, LFP '84.

[18]  Jim Welsh,et al.  Pascal‐plus—another language for modular multiprogramming , 1979, Softw. Pract. Exp..

[19]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[20]  Dennis Parkinson.  The Distributed Array Processor (DAP) , 1983 .

[21]  Melvin E. Conway,et al.  Design of a separable transition-diagram compiler , 1963, CACM.

[22]  Ehud Shapiro,et al.  The family of concurrent logic programming languages , 1989, CSUR.

[23]  Paul Hudak.  Para-Functional Programming , 1986, Computer.

[24]  Henri E. Bal,et al.  Programming languages for distributed computing systems , 1989, CSUR.

[25]  Per Brinch Hansen,et al.  Distributed processes: a concurrent programming concept , 1978, CACM.

[26]  Paul Hudak,et al.  Alfalfa: Distributed graph reduction on a hypercube multiprocessor , 1986, Graph Reduction.

[27]  Paul Watson,et al.  Evaluating functional programs on the FLAGSHIP machine , 1987, FPCA.

[28]  Henri E. Bal,et al.  Distributed programming with shared data , 1988, Proceedings. 1988 International Conference on Computer Languages.

[29]  John McCarthy,et al.  A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION 1) , 2018 .

[30]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[31]  Paul Hudak,et al.  Conception, evolution, and application of functional programming languages , 1989, CSUR.

[32]  Ronald H. Perrott,et al.  A Language for Array and Vector Processors , 1979, TOPL.

[33]  Friedrich L. Bauer,et al.  Revised report on the algorithm language ALGOL 60 , 1963, CACM.

[34]  D. A. Turner,et al.  Miranda: A Non-Strict Functional language with Polymorphic Types , 1985, FPCA.

[35]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[36]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[37]  W. Daniel Hillis,et al.  The connection machine , 1985 .