The formal verification of generic interpreters
By: prepared for Langley Research Center.
Contributors: Cohen, Gerald C.; Levitt, Karl.; Langley Research Center
Publisher: Langley Research Center
Published: 1991
Place of publication: Hampton, Va
Number of pages: 195
Subjects: Generic interpreters; Verification
Notes: Includes bibliographical references: p. 175-178.