StaticDoc.tioga
Rick Barth, January 27, 1986 2:56:07 pm PST
Static
CEDAR 6.0 — FOR INTERNAL XEROX USE ONLY
Core
Rick Barth
© Copyright 1985 Xerox Corporation. All rights reserved.
Abstract: Static checks that some interesting invariants hold.
Created by: Rick Barth
Maintained by: Barth <Barth.pa>
Keywords: design automation, static
XEROX Xerox Corporation
Palo Alto Research Center
3333 Coyote Hill Road
Palo Alto, California 94304
For Internal Xerox Use Only
Only a placeholder