article

Free access

ORBIT: an optimizing compiler for scheme

Authors:

James PhilbinAuthors Info & Claims

ACM SIGPLAN Notices, Volume 21, Issue 7

Pages 219 - 233

https://doi.org/10.1145/13310.13333

Published: 01 July 1986 Publication History

PDF eReader

References

[1]

Brooks, R.A., Gabriel, R.P. and Steele, G.J. Jr. An optimizing compiler for lexically scoped LISP. Proc. Sym. on Compiler Construction, ACM, SIGPLAN Notices 17(6), June, 1982, pp. 261-275.

Digital Library

Google Scholar

[2]

Clinger, W., et al. The Revised Revised Report on Scheme, or An UnCommon Lisp. AI Memo $4~, Massachusetts Institute of Technology, Aug., 1985.

Google Scholar

[3]

Ellis, J.R. Bulldog: A Compiler for VLIWArchitecture8. Ph.D. Th., Yale Univ., 1985. available as Research Report YALEU/DCS/RR-364.

Digital Library

Google Scholar

[4]

Fisher, J.A. Very Long Word Architectures. YALEU/DCS/RR-253, Yale University, Dec., 1982.

Google Scholar

[5]

Friedman, D.P. and Haynes, C.T. Const~raining control. 12th ACM Sym. on Prin. of Prog. Lang., ACM, 1985, pp. 245-254.

Digital Library

Google Scholar

[6]

Gabriel, R.P. Performance and Evaluation of Lisp Systems. MIT Press, Cambridge, Mass., 1985.

Digital Library

Google Scholar

[7]

Haynes, C.T., Friedman, D.P. and Wand, M. Continuations and coroutines. Sym. on LISP and Functional Programming, ACM, Aug., 1984, pp. 293-298.

Digital Library

Google Scholar

[8]

Powell, M.L. A portable optimizing compiler for Modula-2. Proc. Sym. on Compiler Construction, ACM, SIGPLA~N Notices 19(6), June, 1984, pp. 310-318.

Digital Library

Google Scholar

[9]

Rees, J.A. and Adams, N.I. T: a dialect of LISP or, Lambda: the ultimate software tool. Sym. on Lisp and Functional Prog., ACM, Aug., 1982, pp. 114-122.

Digital Library

Google Scholar

[10]

Rees, J.A., Adams, N.I. and Meehan, J.R. The T Manual. 4th edition, Yale University, Jan., 1984.

Google Scholar

[11]

Rozas, W. (personal communication).

Google Scholar

[12]

Steele, G.L. Jr. and Sussman, G.J. The Revised Report on Scheme. AI Memo 452, MIT, Jan., 1978.

Google Scholar

[13]

Steele, G.L. Jr. RABBIT: a compiler for SCHEME. AI Memo 474, MIT, May, 1978.

Digital Library

Google Scholar

[14]

Szymanski. "Assembling code for machines with span-dependent instructions". CACM 21, 4 (April 1978), 300-308.

Digital Library

Google Scholar

[15]

Wulf, W., Johnson, R., Weinstock, C., Hobbs, S. and Geschke, C. The Design of an Opfimizing Compiler. American Elsevier, 1975.

Digital Library

Google Scholar

Cited By

View all

Germane K(2023)m-CFA Exhibits Perfect Stack PrecisionProgramming Languages and Systems10.1007/978-981-99-8311-7_14(290-309)Online publication date: 21-Nov-2023
https://doi.org/10.1007/978-981-99-8311-7_14
Paraskevopoulou ZGrover A(2021)Compiling with continuations, correctlyProceedings of the ACM on Programming Languages10.1145/34854915:OOPSLA(1-29)Online publication date: 15-Oct-2021
https://dl.acm.org/doi/10.1145/3485491
Li JAppel A(2021)Deriving efficient program transformations from rewrite rulesProceedings of the ACM on Programming Languages10.1145/34735795:ICFP(1-29)Online publication date: 22-Aug-2021
https://doi.org/10.1145/3473579
Show More Cited By

Index Terms

ORBIT: an optimizing compiler for scheme

Recommendations

An optimizing compiler for lexically scoped LISP
SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction

We are developing an optimizing compiler for a dialect of the LISP language. The current target architecture is the S-I, a multiprocessing supercomputer designed at Lawrence Livermore National Laboratory. While LISP is usually thought of as a language ...
An optimizing compiler for lexically scoped LISP
Proceedings of the 1982 SIGPLAN symposium on Compiler construction

We are developing an optimizing compiler for a dialect of the LISP language. The current target architecture is the S-I, a multiprocessing supercomputer designed at Lawrence Livermore National Laboratory. While LISP is usually thought of as a language ...
RICE: An Optimizing Curry Compiler
Practical Aspects of Declarative Languages
Abstract
This paper introduces the RICE compiler, an optimizing compiler for the functional logic language Curry, written entirely in Curry. We show the advantages of using Curry as an implementation language by creating a robust optimizer that is easy to ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 21, Issue 7

July 1986

275 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/13310

Editor:
Richard L. Wexelblat
Philips Laboratories, Briarcliff Manor, NY

Issue’s Table of Contents

SIGPLAN '86: Proceedings of the 1986 SIGPLAN symposium on Compiler construction
July 1986
275 pages
ISBN:0897911970
DOI:10.1145/12276
Editor:
Richard L Wexelblat
Philips Laboratories, Briarcliff Manor, NY

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1986

Published in SIGPLAN Volume 21, Issue 7

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

306
Total Citations
View Citations
1,547
Total Downloads

Downloads (Last 12 months)204
Downloads (Last 6 weeks)53

Reflects downloads up to 10 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Germane K(2023)m-CFA Exhibits Perfect Stack PrecisionProgramming Languages and Systems10.1007/978-981-99-8311-7_14(290-309)Online publication date: 21-Nov-2023
https://doi.org/10.1007/978-981-99-8311-7_14
Paraskevopoulou ZGrover A(2021)Compiling with continuations, correctlyProceedings of the ACM on Programming Languages10.1145/34854915:OOPSLA(1-29)Online publication date: 15-Oct-2021
https://dl.acm.org/doi/10.1145/3485491
Li JAppel A(2021)Deriving efficient program transformations from rewrite rulesProceedings of the ACM on Programming Languages10.1145/34735795:ICFP(1-29)Online publication date: 22-Aug-2021
https://doi.org/10.1145/3473579
HILLERSTRÖM DLINDLEY SATKEY R(2020)Effect handlers via generalised continuationsJournal of Functional Programming10.1017/S095679682000004030Online publication date: 16-Mar-2020
https://doi.org/10.1017/S0956796820000040
Morazán MReams LOlson NDzhatdoyev S(2018)Memoized Flat Closures for CPSTrends in Functional Programming10.1007/978-3-319-89719-6_1(1-18)Online publication date: 19-Apr-2018
https://doi.org/10.1007/978-3-319-89719-6_1
Germane KMight M(2017)A posteriori environment analysis with Pushdown Delta CFAACM SIGPLAN Notices10.1145/3093333.300989952:1(19-31)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3093333.3009899
Germane KMight MCastagna GGordon A(2017)A posteriori environment analysis with Pushdown Delta CFAProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009899(19-31)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3009837.3009899
BAHR PHUTTON G(2015)Calculating correct compilersJournal of Functional Programming10.1017/S095679681500018025Online publication date: 16-Sep-2015
https://doi.org/10.1017/S0956796815000180
BAKER H(2013)The NIMBLE Project - Real-time common LISP for embedded expert systems applications7th Computers in Aerospace Conference10.2514/6.1989-3140Online publication date: 18-Feb-2013
https://doi.org/10.2514/6.1989-3140
Morazán M(2013)Beautiful Imperative CodeEssays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday on The Beauty of Functional Code - Volume 810610.1007/978-3-642-40355-2_19(273-284)Online publication date: 1-Jun-2013
https://dl.acm.org/doi/10.1007/978-3-642-40355-2_19
Show More Cited By

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.

References

Cited By

Index Terms

Recommendations

An optimizing compiler for lexically scoped LISP

An optimizing compiler for lexically scoped LISP

RICE: An Optimizing Curry Compiler

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations