Now showing items 1-1 of 1

    • A Virtual Machine for a Type-omega Denotational Proof Language 

      III, Teodoro Arvizo (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 ...