Artifact Details

Title

PIVOT source code listing

Catalog Number

102774958

Type

Text

Date

ca. 1975

Author

Deutsch, L. Peter

Extent

1 volume (various pagings)

Description

This folder contains source code listings of PIVOT, a program verification system written in BBN-LISP by L. Peter Deutsch as a part of his Ph.D. thesis research at U.C. Berkeley in 1973. The contents were originally filed in a binder.

Category

Programming/Code/Source

Credit

Gift of Peter Deutsch

Lot Number

X7485.2015