Search
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 ...