article

Free access

An applicative compiler for a parallel machine

Author:

Ian W. MoorAuthors Info & Claims

ACM SIGPLAN Notices, Volume 17, Issue 6

Pages 284 - 293

https://doi.org/10.1145/872726.807002

Published: 01 June 1982 Publication History

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]

Backus J. Can Programming be Liberated from the von Neumann style? ACM Turing Lecture 1978. CACM Vol 21 no 8 August 1978.

Digital Library

[2]

Banatre J.P. Routeau J.P. and Trilling L. An Event-Driven Compiling Technique. CACM Vol 22 no 1 January 1979.

Digital Library

[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]

Clark K. and Gregory S. A Parallel Relational Language. Proceedings ACM Conference on Functional Programming Languages and Computer Architecture Boston 1981.

Digital Library

[6]

Darlington J. The Structured Description of Algorithm Derivations. Invited Paper. International Symposium on Algorithms Amsterdam. 1981.

[7]

Darlington J. and Reeve M. ALICE: A MultiProcessor Reduction Machine for the Parallel Evaluation of Applicative Languages. Proceedings ACM Conference on Functional Programming Languages and Computer Architecture Boston 1981.

Digital Library

[8]

Eisenbach S. HOPE SWURCC Micro Software Quarterly Issue 5 Nov 1981. University of Bath Computer Center.

[9]

Gordon M.J.C., Milner. A.J.R.G., Morris L., Newey M. and Wadsworth C.A. A Metalanguage for Interactive Proof in LCF. Proc 3rd ACM. POPL, 1978.

Digital Library

[10]

Henderson Functional Programming. Application and Implementation. Prentice Hall 1980

Digital Library

[11]

Hoare C.A.R. The Emperor's Old Clothes. 1980 ACM Turing Lecture. CACM Feb 1981.

Digital Library

[12]

Iverson K.E. A Programming Language. Wiley 1962.

Digital Library

[13]

Landin P.J. A Correspondence between ALGOL 60 and Church's Lambda Notation, Part I. CACM 8 1965.

Digital Library

[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]

Wadler P. Applicative Style Programming. Program Transformation and List Operators. Proceedings ACM Conference on Functional Programming Languages and Compiler Architecture Boston 1981.

Digital Library

[19]

Wu W.H. Using the Imperial College HOPE interpreter. Internal Report. Department of Computing, Imperial College, 1982.

Cited By

Zedan H(1990)Key references in distributed computer systems 1959–1989Distributed Computer Systems10.1016/B978-0-408-02938-4.50016-4(193-295)Online publication date: 1990
https://doi.org/10.1016/B978-0-408-02938-4.50016-4
Harrison PReeve M(2005)The parallel graph reduction machine, ALICEGraph Reduction10.1007/3-540-18420-1_55(181-202)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-18420-1_55
Sharp DCripps M(1993)Synthesis of the fast Fourier transform algorithm by functional language program transformation1993 Euromicro Workshop on Parallel and Distributed Processing10.1109/EMPDP.1993.336410(136-143)Online publication date: 1993
https://doi.org/10.1109/EMPDP.1993.336410
Show More Cited By

Index Terms

An applicative compiler for a parallel machine
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language types

Recommendations

An applicative compiler for a parallel machine
SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction

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 ...
Representing control in parallel applicative programming
A parallel compiler for sequencel

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 17, Issue 6

Proceedings of the 1982 SIGPLAN symposium on Compiler construction

June 1982

347 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/872726

Issue’s Table of Contents

SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction
June 1982
357 pages
ISBN:0897910745
DOI:10.1145/800230
Chairmen:
John R. White,
Frances E. Allen

Copyright © 1982 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1982

Published in SIGPLAN Volume 17, Issue 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
306
Total Downloads

Downloads (Last 12 months)63
Downloads (Last 6 weeks)13

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zedan H(1990)Key references in distributed computer systems 1959–1989Distributed Computer Systems10.1016/B978-0-408-02938-4.50016-4(193-295)Online publication date: 1990
https://doi.org/10.1016/B978-0-408-02938-4.50016-4
Harrison PReeve M(2005)The parallel graph reduction machine, ALICEGraph Reduction10.1007/3-540-18420-1_55(181-202)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-18420-1_55
Sharp DCripps M(1993)Synthesis of the fast Fourier transform algorithm by functional language program transformation1993 Euromicro Workshop on Parallel and Distributed Processing10.1109/EMPDP.1993.336410(136-143)Online publication date: 1993
https://doi.org/10.1109/EMPDP.1993.336410
Peyton Jones S(1985)YACC in SASL—an exercise in functional programmingSoftware—Practice & Experience10.1002/spe.438015080715:8(807-820)Online publication date: 1-Aug-1985
https://dl.acm.org/doi/10.1002/spe.4380150807

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents