article

Free access

Threaded interpretive systems and functional programming environments

Author:

Harvey GlassAuthors Info & Claims

ACM SIGPLAN Notices, Volume 20, Issue 4

Pages 24 - 32

https://doi.org/10.1145/988316.988319

Published: 01 April 1985 Publication History

Abstract

While languages based upon threaded interpretive systems have been used for a variety of applications, these systems have been generally ignored by serious students of programming languages. We describe research here at the University of South Florida where we are investigating the suitability of these systems for implementing a programming environment - specifically an environment to support programming in a functional style.We hypothesize that threaded interpretive systems may have merit as the basis for more ambitious language implementations than have yet been attempted - and that such languages may offer a reasonable compromise between the flexability of more interpretive systems and the efficiency of compilers that generate native code. We describe extensions to a threaded language which provide the kernel of a functional style language. Our goal is to gain insight into the real and apparent capabilities of threaded languages and to evaluate the potential of such systems for support of functional programming environments.

References

[1]

{Alle} Allen, John R., "Anatomy of LISP", McGraw-Hill, 1978.

Digital Library

[2]

{Bell} Bell, James R., "Threaded Code", CACM, Vol 16, Num 6, June, 1973, pp 370--372.

Digital Library

[3]

{Burg} Burge, W. H., "Recursive Programming Techniques", Addison-Wesley, 1975.

[4]

{Dewa} Dewar, Robert B. K., "Indirect Threaded Code", CACM, Vol 18, Num 6, June 1975, pp 330--331.

Digital Library

[5]

{Friea} Friedman, Daniel, and Wise, David, "Cons Should Not Evaluate Its Arguments", Automata, Languages and Programming, Edinburgh University Press, 1976 pp 257--284

[6]

{Freib} Freidman, Daniel, "The Little LISPer", Science Research Associates, 1974.

Digital Library

[7]

{Gilb} Gilbreath, J and Gilbreath, G., "Eratosthenes Revisited", Byte Vol 8, No. 1, Jan 1983, pp 283--326.

[8]

{Glasa} Glass, Harvey, "Towards a More Writable Forth Syntax", Proceedings of the 1983 Rochester Forth Conference, University of Rochester and The Institute for Applied Forth Research, June 1983.

[9]

{Glasb} Glass, Harvey, "The Implementation of Extensions to Provide a More Writable Forth Syntax", 1983 FORML Conference Proceedings, Forth Modification Laboratory, November, 1983.

[10]

{Hayd} Haydon, Glenn B., "All about FORTH", Mountain View Press, 1983.

[11]

{Hend} Henderson, Peter, "Functional Programming Application and Implementation", Prentice-Hall, 1980.

Digital Library

[12]

{Kern} Kernighan, B. W., and Mashey J. R., "The Unix Programming Environment", Computer, Vol 14 Num 4, Aug 1981, pp 12--24.

Digital Library

[13]

{Jame} James, J. S., "FORTH for Microcomputers", SIGPLAN Notices, Vol 13, Num 10, Oct 1978, pp 33--39.

Digital Library

[14]

{Kogg} Kogge, Peter M., "An Architectural Trail to Threaded-Code Systems", Computer, Vol 15, Num 3, Mar 1982, pp 22--32.

Digital Library

[15]

{McCa} McCarthy, J., et. al. "LISP 1.5 Programmer's Manual", MIT Press, 1965.

Digital Library

[16]

{Moor} Moore, Charles, H. and Rather, Elizabeth D., "The FORTH Program for Spectral Line Observing", Proceedings of the IEEE, Vol 61, Num 9, Sept 1973, pp 1346--1349.

[17]

{Phil} Phillips, J. B., Burke, M. F., and Wilson, G. S., "Threaded Code for Laboratory Computers", Software-Practices and Experiance, Vol 8, 1978, 257--263.

[18]

{Rath} Rather, E. D. and Moore, C. D., "The Forth Approach to Operating Systems", Proceedings of the Association for Computing Machinery, 1976.

Digital Library

[19]

{Sach} Sachs, J. M. and Burns, S. K., "STOIC, an Interactive Computing System for Dedicated Computing", Software-Practice and Experiance, Vol 13, Num 1, Jan 1983, pp 1--16.

[20]

{Sand} Sandewall, E., "Programming in the Interactive Environment: The LISP Experience", ACM Computing Surveys, Vol 10, Num 1, Mar 1978, pp 35--72.

Digital Library

[21]

{Steea} Steele, Guy L. Jr., "LAMBDA The Ultimate Declarative", AI Memo 379, MIT AI Lab, Nov 1976.

Digital Library

[22]

{Steeb} Steele, Guy L. Jr and Sussman, Gerald Jay, "The revised Report on SCHEME A dialect of LISP", Memo 452, MIT AI Lab, Jan 1978.

[23]

{Suss} Sussman, Gerald Jay and Steele, Guy L. Jr., "SCHEME, An Interpreter for Extended Lambda Calculus", Memo 349, MIT AI Lab, Dec 1975.

Digital Library

[24]

{Well} Wells, Donald C., "Interactive Image Analysis for Astronomers", Computer, Vol 10, Num 8, Aug 1977, pp 30--34.

Digital Library

[25]

{Wins} Winston, Patrick Henry and Horn, Berthold Klaus Paul, "LISP",

Digital Library

Cited By

Baker H(1994)Linear logic and permutation stacks—the Forth shall be firstACM SIGARCH Computer Architecture News10.1145/181993.18199922:1(34-43)Online publication date: 1-Mar-1994
https://dl.acm.org/doi/10.1145/181993.181999
Pinter RVortman PWeiss Z(1991)Partial compilation of REXXIBM Systems Journal10.1147/sj.303.031230:3(312-321)Online publication date: 1-Aug-1991
https://dl.acm.org/doi/10.1147/sj.303.0312

Recommendations

An interpretive domain specific language workbench
OOPSLA '09: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications

Domain-specific language (DSL) utilization comes in three sorts: internal, external, and language workbench. An internal DSL is confined to the hosting language. An external DSL is freed from confinement in the hosting language, but surrenders all ...
Functional programming languages for verification tools: a comparison of Standard ML and Haskell

We compare Haskell with Standard ML as programming languages for verification tools based on our experience developing the verification platform Truth in Haskell and the Edinburgh Concurrency Workbench (CWB) in Standard ML. We review not only technical ...
The Illinois functional programming interpreter
SIGPLAN '87: Papers of the Symposium on Interpreters and interpretive techniques

The Illinois Functional Programming (IFP) language is a modified version of Backus' FP(1). IFP has the same side-effect free combinator style of Backus FP, while introducing an ALGOL-like syntax and structure. While IFP superficially appears to be an ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 20, Issue 4

April 1985

77 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/988316

Issue’s Table of Contents

Copyright © 1985 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1985

Published in SIGPLAN Volume 20, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
263
Total Downloads

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

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Baker H(1994)Linear logic and permutation stacks—the Forth shall be firstACM SIGARCH Computer Architecture News10.1145/181993.18199922:1(34-43)Online publication date: 1-Mar-1994
https://dl.acm.org/doi/10.1145/181993.181999
Pinter RVortman PWeiss Z(1991)Partial compilation of REXXIBM Systems Journal10.1147/sj.303.031230:3(312-321)Online publication date: 1-Aug-1991
https://dl.acm.org/doi/10.1147/sj.303.0312

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

Figures

Tables

Media

View Issue’s Table of Contents