article

Free access

Compiling functional languages for von Neumann machines

Authors:

U. Honschopp,

W. M. Lippe,

F. SimonAuthors Info & Claims

ACM SIGPLAN Notices, Volume 18, Issue 6

Pages 22 - 27

https://doi.org/10.1145/872728.806848

Published: 01 June 1983 Publication History

PDF eReader

Abstract

Functional programming languages based on the lambda calculus provide a powerful programming tool. Much of this power derives from the ability to use higher order functions, that means functions having either functional arguments or a functional result. However, attempts to implement such higher order functions without any restrictions have always been expensive, both in storage and time (e.g. [Bo/We]).

ALGOL-like languages only have functions with functional arguments (e.g. ALGOL 60 or, with some mode restrictions, PASCAL) and a run time stack can be used for managing function and procedure calls. Using Dijkstra's “display-technique” we can obtain a simple and efficient implementation.

References

[1]

Bobrow, D.G., Wegbreit, B.: A Model and Stack Implementation of Multiple Environments. C.A.C.M. 16 (1973), pp. 591-603

Digital Library

Google Scholar

[2]

Grau, A.A., Hill, U., Langmaack, H.: Translation of ALGOL 60. Handbook for Automatic Computation. Vol I, Part b, Springer-Verlag 1967

Google Scholar

[3]

Honschopp, U.: Implementation der funktionalen Programmiersprache LISP/N. Diplomarbeit, Institut für Informatik der Universität Kiel, to appear 1983

Google Scholar

[4]

Lippe, W.M., Simon, F.: LISP/N, Basic Definitions and Properties. Bericht 4/79, Institut für Informatik der Universität Kiel, 1979

Google Scholar

[5]

Lippe, W.M., Simon, F.: Semantics for LISP Without References to an Interpreter. LNCS Vol. 83 (1980), pp. 240-255

Digital Library

Google Scholar

[6]

Moses, J.: The function of FUNCTION in LISP. SIGSAM Bulletin (1970), pp. 13-27

Digital Library

Google Scholar

Cited By

View all

Felgentreu KLippe W(1986)Low cost environment changing in a shallow binding systemNew Generation Computing10.1007/BF030374064:3(245-272)Online publication date: 1-Sep-1986
https://dl.acm.org/doi/10.1007/BF03037406
Beckmann RFelgentreu KJoloboff V(1988)The impact of the LCC-optimization on the performance of a static scope LISP interpreterProceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES10.1145/62453.62486(146-160)Online publication date: 3-Jan-1988
https://dl.acm.org/doi/10.1145/62453.62486
Felgentreu KLippe WJehn LCrum L(1986)Dynamic optimization of covered tail recursive functions in applicative languagesProceedings of the 1986 ACM fourteenth annual conference on Computer science10.1145/324634.325437(293-299)Online publication date: 1-Feb-1986
https://dl.acm.org/doi/10.1145/324634.325437

Index Terms

Compiling functional languages for von Neumann machines

Recommendations

Compiling functional languages for von Neumann machines
SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

Functional programming languages based on the lambda calculus provide a powerful programming tool. Much of this power derives from the ability to use higher order functions, that means functions having either functional arguments or a functional result. ...
Compiling a functional language
LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming

This paper summarizes my experience in implementing a compiler for a functional language. The language is ML(1) [Milner 84] and the compiler was first implemented in 1980 as a personal project when I was a postgraduate student at the University of ...
On compiling embedded languages in LISP
LFP '80: Proceedings of the 1980 ACM conference on LISP and functional programming

In INTERLISP we find a number of embedded languages such as the iterative statement and the pattern match facility in the CLISP package, the editor and makefile languages and so forth. We will in this paper concentrate on the problem of extending the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 18, Issue 6

June 1983

219 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/872728

Issue’s Table of Contents

SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
June 1983
230 pages
ISBN:0897911083
DOI:10.1145/800226
Chairmen:
John R. White,
Lawrence A. Rowe

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1983

Published in SIGPLAN Volume 18, Issue 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
325
Total Downloads

Downloads (Last 12 months)69
Downloads (Last 6 weeks)10

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Felgentreu KLippe W(1986)Low cost environment changing in a shallow binding systemNew Generation Computing10.1007/BF030374064:3(245-272)Online publication date: 1-Sep-1986
https://dl.acm.org/doi/10.1007/BF03037406
Beckmann RFelgentreu KJoloboff V(1988)The impact of the LCC-optimization on the performance of a static scope LISP interpreterProceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES10.1145/62453.62486(146-160)Online publication date: 3-Jan-1988
https://dl.acm.org/doi/10.1145/62453.62486
Felgentreu KLippe WJehn LCrum L(1986)Dynamic optimization of covered tail recursive functions in applicative languagesProceedings of the 1986 ACM fourteenth annual conference on Computer science10.1145/324634.325437(293-299)Online publication date: 1-Feb-1986
https://dl.acm.org/doi/10.1145/324634.325437

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Abstract

References

Cited By

Index Terms

Recommendations