Search
Now showing items 111-120 of 166
Proposed Instructions on the GE 635 for List Processing and Push Down Stacks
(1964-09-01)
The instructions that transmit data between the index registers and the memory work only on the left half (address) portion of memory. These instructions are LDXn (load index n from address of storage word). And STXn (store ...
PDP-6 LISP Input-Output for the Dataphone
(1965-06-01)
A version of LISP 1.5 for the PDP-6 Computer has been extended to include IO through the dataphone. This makes possible communication between programs running in Project MAC time sharing and LISP programs running on the ...
Computer Experiments in Finite Algebra
(1965-06-01)
The experiments described here concern an initial design for a computer system specifically for the handling of finite groups, rings, fields, semigroups, and vector spaces. The usefulness of such a system was discussed in ...
The COMIT Feature in LISP II
(1965-02-01)
The purpose of COMIT feature is to facilitate certain types of list manipulations in LISP II. This feature is a syntactic convenience, rather than an extension of the semantics of LISP. It permits the programmer to test ...
Topics in Model Theory
(1965-05-01)
The concept of "free" as in free group and free semi-group is extended to arbitrary first order theories. Every consistent theory has free models. Some problems of obtaining a categorical theory of models are discussed.
PDP-6 IAP
(1968-01-01)
LAP is a LISP FEXPR (or FSUBR when compiled) which is executed primarily for its side effect??ely assembling a symbolic listing into core as a machine language subroutine. As such, it is about the most convenient and rapid ...
CGRU and CONG: CONVERT and LISP Programs to Find the Congruence Relations of a Finite State Machine
(1968-01-01)
CRGU is a CONVERT program, CONG its literal transcription into LISP, realized in the CTSS LISP of Project MAC, for finding all the congruence relations of a finite state machine whose transition table is given as an argument. ...
REC/8: A CONVERT Compiler of REC for the PDP-8
(1968-01-01)
REC/8 is a CONVERT program, realized in the CTSS LISP of Project MAC, for compiling RED expressions into the machine language of the PDP-8 computer. Since the compilation consists in its majority of subroutines calls (to ...
Functional Abstraction in LISP and PLANNER
(1968-01-01)
Presented here is part of the graduate work that I am doing in the much broader area of protocol analysis (see A.I. memo 137). The goal of the function abstraction is to find a procedure that satisfies a given set of ...
SUBM: A CONVERT Program for Constructing the Subset Machine Defined by a Transition System
(1968-01-01)
SUBM is a CONVERT program, realized in the CTSS LISP of Project MAC, for constructing the subset machine with the same behaviour as a given transition system. The program interactively collects the six items defining a ...