Ruth E. Davis, John R. Allen
Proceedings of the 1980 LISP Conference
LISP, 1980.

@proceedings{LISP-1980,
	editor        = "Ruth E. Davis and John R. Allen",
	title         = "{Proceedings of the 1980 LISP Conference}",
	year          = 1980,
}

Contents (30 items)

15 ×#lisp
5 ×#multi
4 ×#compilation
3 ×#named

LISP-1980-CampbellF #lisp

Symbolic Computing with and without Lisp (JC, JPF), pp. 1–5.

LISP-1980-Greenberg #emacs #lisp #multi

Prose and CONS — Multics Emacs: A Commercial Text-processing System in LISP (BG), pp. 6–12.

LISP-1980-Print #parallel

Explicit Parallelism in LISP-like Languages (GP), pp. 13–18.

LISP-1980-Wand #multi

Continuation-Based Multiprocessing (MW), pp. 19–28.

LISP-1980-McKayS #lisp #multi #named

MULTI — A LISP Based Multiprocessing System (DPM, SCS), pp. 29–37.

LISP-1980-Kurokawa

The Function-Class (TK), pp. 38–45.

LISP-1980-Cartwright #axiom #data type

A Constructive Alternative to Axiomatic Data Type Definitions (RC), pp. 46–55.

LISP-1980-MuchnickP #comparison #lisp #semantics

A Semantic Comparison of LISP and Scheme (SSM, UFP), pp. 56–64.

LISP-1980-DavenportJ #lisp

MODLISP (JHD, RDJ), pp. 65–74.

LISP-1980-GoldsteinB #object-oriented #programming #smalltalk

Extenting Object Oriented Programming in Smalltalk (IPG, DGB), pp. 75–81.

LISP-1980-SandewallSS #communication

A System of Communicating Residential Environments (ES, HS, CS), pp. 82–89.

LISP-1980-LiebermanH #testing

A Session with Tinker: Interleaving Program Testing with Program Writing (HL, CH), pp. 90–99.

LISP-1980-Lakin

Computing with Text-Graphics Forms (FL), pp. 100–106.

LISP-1980-Hewitt #design

Design of the APIARY for Actor Systems (CH), pp. 107–118.

LISP-1980-White #lisp #memory management

Address/Memory Management for a Gigantic LISP Environment (JW), pp. 119–127.

LISP-1980-ClarkeGMN #named #reduction

SKIM — The S, K, I Reduction Machine (TJWC, PG, CM, ACN), pp. 128–135.

LISP-1980-BurstallMS #named

HOPE: An Experimental Applicative Language (RMB, DBM, DS), pp. 136–143.

LISP-1980-MorrisS

Computing Cyclic List Structures (LM, JS), pp. 144–153.

LISP-1980-McDermott #interpreter #lisp #performance

An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP (DVM), pp. 154–162.

LISP-1980-SteeleS #lazy evaluation

The Dream of Lifetime: A Lazy Variable Extent Mechanism (GLSJ, GJS), pp. 163–172.

LISP-1980-Steele #abstraction #lisp

Strategies for Data Abstraction in LISP (BS), pp. 173–178.

LISP-1980-Pitman #lisp

Special Forms in LISP (KMP), pp. 179–187.

LISP-1980-Model #lisp #multi

Multiprocessing via Intercommunicating LISP Systems (MM), pp. 188–195.

LISP-1980-Keller #multi

Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems (RMK), pp. 196–202.

LISP-1980-Marti #compilation #concurrent #control flow #lisp

Compilation Techniques for a Control-Flow Concurrent LISP System (JM), pp. 203–207.

LISP-1980-EmanuelsonH #compilation #embedded #lisp #on the

On Compiling Embedded Languages in LISP (PE, AH), pp. 208–215.

LISP-1980-Rowan #compilation #lisp

A LISP Compiler Producing Compact Code (WR), pp. 216–222.

LISP-1980-MasinterD #compilation #lisp #optimisation

Local Optimization in a Compiler for Stack-based LISP Machines (LM, LPD), pp. 223–230.

LISP-1980-Deutsch #implementation

ByteLisp and its Alto Implementation (LPD), pp. 231–242.

LISP-1980-BurtonMBHKS #lisp #overview

Overview and Status of DoradoLISP (RRB, LM, DGB, WH, RMK, BAS), p. 243–?.