Browsing by Subject "Athena"
Now showing items 1-1 of 1
-
A Virtual Machine for a Type-omega Denotational Proof Language
(2002-06-01)In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to ...