Article

Free access

Direct execution of lisp on a list_directed architecture

Authors:

J. P. Sansonnet,

J. PerezAuthors Info & Claims

ASPLOS I: Proceedings of the first international symposium on Architectural support for programming languages and operating systems

Pages 132 - 139

https://doi.org/10.1145/800050.801836

Published: 01 March 1982 Publication History

Abstract

We have defined a direct-execution model dedicated to non-numerical processing which is based upon an internal representation of source programs derived from LISP. This model provides good support for both sophisticated editing (syntactical parsing, tree manipulation, pretty-printing, ...) of conventional languages and artificial intelligence languages. A high level microprogramming language (LEM) was designed to write the interpreters and the editors. A hardware processor was built and a LISP interpreter, microprogrammed in LEM, has been operational since September 1980.

First, the influence of LISP on the LEM language and the architecture is discussed. At the LEM level, we will see that LISP has prompted the control constructs and the access functions to the tree-structured internal form. As for the architecture, we present the hardware implementation of a special garbage collector based upon reference counters.

In turn, the machine has influenced the implementation of LISP. We present here the structure of our LISP interpreter and we give evaluation measures dealing with size, development effort, speed; they prove that programming in LEM is easy, short to debug and very concise. Moreover, the speed of our LISP interpreter confirms that the architecture is very efficient for symbolic processing.

References

[1]

Y. CHU - Direct Execution Computer Architecture IFIP Congress - Montreal 1977

[2]

L.W. HOEVEL - "IDEAL" directly executable languages: an analytical argument for emulation IEEE Trans.Computers Vol.C-23 - 8 - Aug.1974

[3]

W.T. WILNER - B1700 memory utilization FJCC AFIPS, Montvale New Jersey - 1972

[4]

P. MAURICE, A.M. COUHAUT - Specifications d'un éditeur syntaxique LEGOS - IRIA Report - Dec.1980

[5]

J. Mc CARTHY - LISP 1.5 Programmer's manual MIT Press - Cambridge - 1962

Digital Library

[6]

W. TEITELMAN - INTERLISP Reference Manual XEROX Palo Alto - 1976

[7]

G. HUET, G. KAHN, P. MAURICE - Environnement de programmation PASCAL - Ref.Manual - IRIA - 1977

[8]

J.P. SANSONNET - The 3L-MODEL, an alternative to the Von Neumann architecture - LSI report #77 Toulouse - Janvier 1980

[9]

J.P. SANSONNET, M. CASTAN, C. PERCEBOIS M3L: A List-Directed Architecture - ISCA-7 La Baule - May 1980

Digital Library

[10]

J.P. SANSONNET, M. CASTAN, C. PERCEBOIS Architecture of a multi-language processor based on list structured DELs - Intern. Workshop on HLL Computer Architecture - Fort Lauderdale - May 1980

[11]

J. CHAILLOUX - Le modèle VLISP: description, implémentation et évaluation - Thèse - Paris VI April 1980

[12]

A. LUX - Etude d'un modèle abstrait pour une machine LISP - Thèse - Grenoble-March 1975

[13]

M. CASTAN - Etude et définition d'une émulateur:M3L - LSI Report-Toulouse-June 1978

[14]

J.C. REYNOLDS - GEDANKEN:A simple typeless language based on the principle of completeness and the reference concept - CACM Vol. 13 - 5 - May 1970

Digital Library

[15]

P. GREUSSAY - Contribution à la définition interprétative et à l'implémentation des &lgr;-langages - Thèse -Paris VI - 1977

[16]

M. CASTAN - Conception et réalisation d'une machine spécialisée dans le traitement des formes arborescentes-Thèse-Toulouse-October 1980

[17]

A. NEWELL - IPL-V Manual - 2nd ed. Prentice Hall Englewood N.J. 1964

[18]

G.E. COLLINS - A method for overlapping and erasure of lists - CACM- 3 - Dec.1960

Digital Library

[19]

H. GERLERNTER et al. - A FORTRAN compiled list processing language-JACM-7-April 1960

Digital Library

[20]

J. Mc CARTHY - History of LISP - ACM Sigplan Notices-Vol.13 - 8 - August 1978

Digital Library

[21]

J. WEIZENBAUM - Symetric list processor CACM Vol.6 - Sept.1963

Digital Library

[22]

L.P. DEUTSCH, D.G. BOBROW - An efficient incremental automatic garbage collector - CACM Vol.19 - 9 - Sept.1976

Digital Library

[23]

D.W. CLARK, C.C. GREEN - A note on shared list structures in LISP - Information Processing Letter - Vol.7 - 6 0ct.1978

[24]

J.L. DURIEUX - Manuel TLISP - LSI Report Toulouse - 1977

[25]

J.P.SANSONNET, D.BOTELLA, J.PEREZ-An experience of functions distribution in a list-directed architecture EUROMICRO Journal (1982)

[26]

M.CAYROL, B.FADE, H.FARRENY - Formal objects and feature associations in ARGOS II - Proc. 6th IJCAI - Tokyo 1979

[27]

G.L.STEEL, G.J.SUSSMAN - Design of a LISP-based microprocessor - CACM Vol.23 - 11 - Nov.1980

Digital Library

[28]

A.BAWDEN, R.GREENBLATT, J.HOLOWAY - LISP machine progress report - MIT memo #444 - 1977

[29]

P.L.WADLER - Analysis of an algorithm for real-time garbage collection - CACM Vol.19# 9 Sept 76

Digital Library

[30]

G.J.SUSSMAN, J.HOLLOWAY, G.L.STEELE Jr, A.BELL SCHEME 79 - LISP on a chip - Computer July 1981

Cited By

Angelo LStefano PGuardiani EPane C(2020)Automatic Shape Feature Recognition for Ceramic FindsJournal on Computing and Cultural Heritage 10.1145/338673013:3(1-21)Online publication date: 20-Jul-2020
https://dl.acm.org/doi/10.1145/3386730
Katifori APerry SVayanou MAntoniou AIoannidis IMcKinney SChrysanthi AIoannidis Y(2020)“Let Them Talk!”Journal on Computing and Cultural Heritage 10.1145/338277313:3(1-30)Online publication date: 5-Aug-2020
https://dl.acm.org/doi/10.1145/3382773
Torsi SArdito CRebek C(2020)An Interactive Narrative to Improve Cultural Heritage Experience in Elementary School ChildrenJournal on Computing and Cultural Heritage 10.1145/338277113:3(1-14)Online publication date: 16-Aug-2020
https://dl.acm.org/doi/10.1145/3382771
Show More Cited By

Index Terms

Direct execution of lisp on a list_directed architecture
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Control structures
      2. Language types

Recommendations

Direct execution of lisp on a list_directed architecture

We have defined a direct-execution model dedicated to non-numerical processing which is based upon an internal representation of source programs derived from LISP. This model provides good support for both sophisticated editing (syntactical parsing, ...
Direct execution of lisp on a list_directed architecture
Proceedings of the 1982 symposium on Architectural support for programming languages and operating systems

We have defined a direct-execution model dedicated to non-numerical processing which is based upon an internal representation of source programs derived from LISP. This model provides good support for both sophisticated editing (syntactical parsing, ...
The direct execution of intermediate languages on an Eclipse computer

The use of intermediate languages as a convenient means of developing portable high-level language compilers, appears to be growing. With this approach, the compiler for language A (which may be written in language A) compiles the source code into an ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ASPLOS I: Proceedings of the first international symposium on Architectural support for programming languages and operating systems

March 1982

209 pages

ISBN:0897910664

DOI:10.1145/800050

ACM SIGARCH Computer Architecture News Volume 10, Issue 2
March 1982
209 pages
ISSN:0163-5964
DOI:10.1145/964750
Issue’s Table of Contents
ACM SIGPLAN Notices Volume 17, Issue 4
Proceedings of the 1982 symposium on Architectural support for programming languages and operating systems
April 1982
209 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/960120
Issue’s Table of Contents

Copyright © 1982 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPL: ACM Special Interest Group on APL Programming Language

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1982

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 535 of 2,713 submissions, 20%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

28
Total Citations
View Citations
488
Total Downloads

Downloads (Last 12 months)79
Downloads (Last 6 weeks)23

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Angelo LStefano PGuardiani EPane C(2020)Automatic Shape Feature Recognition for Ceramic FindsJournal on Computing and Cultural Heritage 10.1145/338673013:3(1-21)Online publication date: 20-Jul-2020
https://dl.acm.org/doi/10.1145/3386730
Katifori APerry SVayanou MAntoniou AIoannidis IMcKinney SChrysanthi AIoannidis Y(2020)“Let Them Talk!”Journal on Computing and Cultural Heritage 10.1145/338277313:3(1-30)Online publication date: 5-Aug-2020
https://dl.acm.org/doi/10.1145/3382773
Torsi SArdito CRebek C(2020)An Interactive Narrative to Improve Cultural Heritage Experience in Elementary School ChildrenJournal on Computing and Cultural Heritage 10.1145/338277113:3(1-14)Online publication date: 16-Aug-2020
https://dl.acm.org/doi/10.1145/3382771
Canfora GDi Penta MCerulo L(2011)Achievements and challenges in software reverse engineeringCommunications of the ACM10.1145/1924421.192445154:4(142-151)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.1145/1924421.1924451
Grossman FTappert CBergin JMerritt S(2011)A research doctorate for computing professionalsCommunications of the ACM10.1145/1924421.192445054:4(133-141)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.1145/1924421.1924450
Braverman M(2011)Poly-logarithmic independence fools bounded-depth boolean circuitsCommunications of the ACM10.1145/1924421.192444654:4(108-115)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.1145/1924421.1924446
Gómez-Barroso JFeijóo C(2011)Asymmetries and shortages of the network neutrality principleCommunications of the ACM10.1145/1924421.192443554:4(36-37)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.1145/1924421.1924435
Niederman FTan F(2011)Managing global IT teamsCommunications of the ACM10.1145/1924421.192443154:4(24-27)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.1145/1924421.1924431
Vertegaal R(2011)The (re)usability of everyday computational thingsInteractions10.1145/1897239.189725118:1(38-41)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1145/1897239.1897251
Greenberg SMarquardt NBallendat TDiaz-Marino RWang M(2011)Proxemic interactionsInteractions10.1145/1897239.189725018:1(42-50)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1145/1897239.1897250
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

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 Table of Contents