Theses most similar to those of author Arvizo, Teodoro, 1978-

A virtual machine for a type-[omega] denotational proof language (2002) read it

Javari : adding reference immutability to Java

Tschantz, Matthew S (2006)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Performance enhancements for a dynamic invariant detector

Xiao, Che (2007)

  • Advisors: Jeff H. Perkins; Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"

Kuc̆an, Jakov (1997)

  • Advisor: Albert R. Meyer
  • Department of Mathematics
Read it

An efficient substitution model scheme evaluator

Maritime, Abraham Aaron (1997)

  • Advisor: Albert Meyer
  • Department of Electrical Engineering and Computer Science
Read it

A lightweight specification language for bounded program verification

Yessenov, Kuat T (2009)

  • Advisor: Daniel N. Jackson
  • 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

Formal verification of simulations between I/O automata

Bogdanov, Andrej, 1978- (2001)

  • Advisor: Stephen J. Garland
  • 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

A relatively small turing machine whose behavior is independent of set theory

Yedidia, Adam (2015)

  • Advisor: Scott Aaronson
  • 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