An applicative compiler for a parallel machine

ABSTRACT

A compiler for the applicative language HOPE is described. The compiler is itself written in HOPE and generates a machine independent compiler target language, suitable for execution on the parallel reduction machine ALICE. The advantages of writing a compiler in a very high level applicative language are discussed, and the use of program transformation and other techniques to turn the initial 'runnable specification' into a more efficient (if less clear) program are outlined. Extensions to the HOPE language and the compiler which can exploit the parallelism and various execution modes of ALICE are described.

REFERENCES

• 1: John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
• 2: J. P. Banâtre , J. P. Routeau , L. Trilling, An event-driven compiling technique, Communications of the ACM, v.22 n.1, p.34-42, Jan. 1979 [doi>10.1145/359046.359055]
• 3: Burstall. R.M. Design Considerations for a Functional Language. Infotech State of the Art Conference. Copenhagen 1977.
• 4: Burstall R.M., MacQueen D.B. and Sannella D, T. HOPE: An experimental Applicative Language. Internal Report CSR-62-80 (Updated Feb. 1981). Department of Computing Science. University of Edinburgh.
• 5: Keith L. Clark , Steve Gregory, A relational language for parallel programming, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.171-178, October 18-22, 1981, Portsmouth, New Hampshire, United States [doi>10.1145/800223.806776]
• 6: Darlington J. The Structured Description of Algorithm Derivations. Invited Paper. International Symposium on Algorithms Amsterdam. 1981.
• 7: John Darlington , Mike Reeve, ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.65-76, October 18-22, 1981, Portsmouth, New Hampshire, United States [doi>10.1145/800223.806764]
• 8: Eisenbach S. HOPE SWURCC Micro Software Quarterly Issue 5 Nov 1981. University of Bath Computer Center.
• 9: M. Gordon , R. Milner , L. Morris , M. Newey , C. Wadsworth, A Metalanguage for interactive proof in LCF, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.119-130, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512773]
• 10: Peter Henderson, Functional Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1980
• 11: Charles Antony Richard Hoare, The emperor's old clothes, Communications of the ACM, v.24 n.2, p.75-83, Feb. 1981 [doi>10.1145/358549.358561]
• 12: Kenneth E. Iverson, A Programming Language., John Wiley & Sons, 1962
• 13: P. J. Landin, Correspondence between ALGOL 60 and Church's Lambda-notation: part I, Communications of the ACM, v.8 n.2, p.89-101, Feb. 1965 [doi>10.1145/363744.363749]
• 14: Milner R. A Theory of Type Polymorphism in Programming. JCSS 17 3 December 1978.
• 15: Reeve M. An Introduction to the ALICE Compiler Target Language. Internal Report, Department of Computing. Imperial College London. 1982.
• 16: Reeve M. Using the ALICE Abstract Simulator. Internal Report. Department of Computing. Imperial College London, 1982.
• 17: Reeve M. Using the ALICE CTL Assembler for the ALICE Abstract Simulator Internal Report. Department of Computing. Imperial College London, 1982.
• 18: Philip Wadler, Applicative style programming, program transformation, and list operators, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.25-32, October 18-22, 1981, Portsmouth, New Hampshire, United States [doi>10.1145/800223.806759]
• 19: Wu W.H. Using the Imperial College HOPE interpreter. Internal Report. Department of Computing, Imperial College, 1982.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: HOPE

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Compilers

General Terms:
Languages