Search
Now showing items 11-17 of 17
METEOR: A LISP Interpreter for String Transformations
(1963-04-01)
Conditional expressions, composition and recursion are the basic operations used in LISP to define functions on list structures. Any computable function of arbitrarily complex list structures may be described using these ...
MACRO Definitions for LISP
(1963-10-01)
In LISP 1.5 special forms are used for three logically separate purposes: a) to reach the alist, b) to allow functions to have an indefinite number of arguments, and c) to keep arguments from being evaluated. New LISP ...
Primitive Recursion
(1963-07-01)
This is one of a series of memos concerning a logical system for proof-checking. It is not self-contained, but belongs with future memos which will describe a complete formal system with its intended interpretation and ...
Suggested Conventions for LISP Time-Sharing System
(1963-04-01)
Below is a list of suggested Conventions and De-bugging aids for LISP time-sharing. Any and all suggestions are encouraged and should be submitted in writing to R. A. Robnett in a hurry.
A LISP Garbage Collector Algorithm Using Serial Secondary Storage
(1963-12-27)
This paper presents an algorithm for reclaiming unused free storage memory cells in LISP. It depends on availability of a fast secondary storage device, or a large block of available temporary storage. For this price, we ...
DERIVATOR I: A Program for Visual Inspection of Solutions to First-Order Non-Linear Differential Equations
(1963-12-01)
Derivator is a PDP-1 program for examining the solutions to differential equations by inspection of a visual display of trajectories. Because fixed-point arithmetic is used (in order to maintain visual display speeds), ...
Examples of plotter output, screenshots, and photographs of usage from Ivan Sutherland's Sketchpad program on the TX2 computer.
(Massachusetts Institute of Technology, 1963)