Artifact Details

Title

AFFIRM type library

Catalog Number

102723053

Type

Text

Date

1981-02-19

Author

Gerhart, Susan L.

Publisher

USC/Information Sciences Institute

Extent

ii, 63 p.

Description

Version 2.0
Corresponds to AFFIRM Version 1.21
Type Library - A listing of several abstract data types developed and used by the ISI Program Verification Project. The date type specifications are maintained in machine-readable form as an integral part of the system.

Category

Reference Guide

Collection Title

David Musser collection

Credit

Gift of David Musser

Lot Number

X6098.2011