Search
Now showing items 71-80 of 166
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.
LISP Linkage Feature: Incorporating MIDAS into PDP-6 LISP
(1967-10-01)
Some PDP6 LISP users have felt a need for a way to incorporate MIDAS subroutines into LISP. LISP has been changed to let you do this, using files found on the LISP SYSTEM microtape. You write a routine for LISP in much the ...
A Miscellaney of Convert Programming
(1967-04-01)
CONVERT shares with other programming languages the circumstance that it is was easier to evaluate the language and to learn its uses if it is possible to scrutinize a representative sample of programs which effect typical ...
A Primitive Control P Feature
(1966-10-01)
A program, some TECO macros, and some small modifications to existing systems software have been written, called PRO, whose purpose is to reduce the large number of control languages and system programs it has been necessary ...
Additions to LAP
(1967-07-01)
In addition to the description on page 13 of AI Memo 116A LAP has the following features: Current Assembly Location Reference, Assembly Time Arithmetic, Constants, Multiple Entry Routines, and Defined Machine Operations ...
POLYSEG
(1967-04-01)
POLYSEG takes as input a list of dotted pairs of numbers. These pairs are assumed to be the co-ordinates of adjacent points along a single closed line. It is further assumed that the x and y co-ordinates of successive ...
CNTOUR
(1968-01-01)
The CNTOUR program plots an intensity relief map of an image which is read from tape, disc, or from either vidisector camera. It is used to examine vidisector images. It may also be used as a general purpose aiming, ...
Music Playing on the PDP-6
(1966-08-01)
This memo describes a process of converting coded music into auditory stimuli on the PDP-6. Attached is a copy of the original specifications for the coding (a PDP-1 memo by Peter Samson).
SCPLOT BIN
(1966-10-01)
This program will take a list of display instructions and cause it to be plotted. For further or more detailed information consult with Michael Speciner.