Title
Stanford Verifier
Catalog Number
102719740
Type
Software
Description
The Stanford Verifier is a system for verifying Pascal programs designed by David Luckham at Stanford University in the 1970s. This tape was apparently written at the University of Texas at Austin, on a CDC computer (7 track, 800bpi) in 1979. A label says G. Goerz, Regionales Rechenzentrum, Universitaet Erlangen-Nuernberg.
Date
1979
Author
Luckham, David
Publisher
Stanford University
Extent
1 folder
Format
Magnetic Tape: 1/2 inch
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Computer media; Magnetic Tape: ½ inch
Credit
Gift of Herbert Stoyan
