Title
PIVOT source code listing
Catalog Number
102774958
Type
Document
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.
Date
ca. 1975
Author
Deutsch, L. Peter
Extent
1 volume (various pagings)
Category
Programming/Code/Source
Credit
Gift of Peter Deutsch
