A virtual machine for a type-[omega] denotational proof language
Author(s)
Arvizo, Teodoro, 1978-
DownloadFull printable version (4.926Mb)
Other Contributors
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.
Advisor
Howard E. Shrobe.
Terms of use
Metadata
Show full item recordDescription
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002. In title on t.p., "[omeag]" appears as the lower-case Greek letter. Includes bibliographical references (p. 123).
Date issued
2002Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science.