Artifact Details

Title

Stanford Verifier

Catalog Number

102719740

Type

Software

Date

1979

Author

Luckham, David

Publisher

Stanford University

Extent

1 folder

Format

Magnetic Tape: 1/2 inch

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.

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Computer media; Magnetic Tape: ½ inch

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010