Denotational proof languages
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.
Main Author: | Arkoudas, Konstantinos, 1968- |
---|---|
Other Authors: | Olin Shivers. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2013
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/81531 |
Similar Items
-
Using a denotational proof language to verify dataflow analyses
by: Hao, Melissa B. (Melissa Betty), 1979-
Published: (2014) -
A virtual machine for a type-[omega] denotational proof language
by: Arvizo, Teodoro, 1978-
Published: (2014) -
On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types
by: Arkoudas, Kostas
Published: (2007) -
Interactive proof system variants and approximation algorithms for optical networks
by: Sundaram, Ravi, 1968-
Published: (2008) -
The denotational description of programming languages : an introduction /
by: 240486 Gordon, Michael J. C.
Published: (1979)