Theses most similar to A relatively small turing machine whose behavior is independent of set theory (Yedidia, Adam; 2015) read it

Translating alloy using Boolean circuits

Daitch, Samuel Isaac (2004)

  • Advisor: Daniel Jackson
  • Department of Electrical Engineering and Computer Science
Read it

The ontic inference language

Witty, Carl Roger (1995)

  • Advisor: David A. McAllester
  • Department of Electrical Engineering and Computer Science
Read it

Incorporating specialized theories into a general purpose theorem prover

Pogosyants, Anna (1995)

  • Advisor: Stephen J. Garland
  • Department of Electrical Engineering and Computer Science
Read it

Denotational proof languages

Arkoudas, Konstantinos, 1968- (2000)

  • Advisor: Olin Shivers
  • Department of Electrical Engineering and Computer Science
Read it

Credible compilation

Marinov, Darko, 1976- (2000)

  • Advisor: Martin C. Rinard
  • Department of Electrical Engineering and Computer Science
Read it

A virtual machine for a type-[omega] denotational proof language

Arvizo, Teodoro, 1978- (2002)

  • Advisor: Howard E. Shrobe
  • Department of Electrical Engineering and Computer Science
Read it

Using a denotational proof language to verify dataflow analyses

Hao, Melissa B. (Melissa Betty), 1979- (2002)

  • Advisor: Howard E. Shrobe
  • Department of Electrical Engineering and Computer Science
Read it

Advancing declarative programming

Milicevic, Aleksanda (2015)

  • Advisor: Daniel N. Jackson
  • Department of Electrical Engineering and Computer Science
Read it

MSL : a synthesis enabled language for distributed high performance computing implementations

Xu, Zhilei (2016)

  • Advisor: Armando Solar-Lezama
  • Department of Electrical Engineering and Computer Science
Read it

The kernel of ad hoc polymorphism

Boyer, Stephan (2016)

  • Advisor: Christopher J. Terman
  • Department of Electrical Engineering and Computer Science
Read it