Theses most similar to those of author Arkoudas, Kostas

On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types (1996) read it

Subtyping in alloy

Torlak, Emina, 1979- (2004)

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

Partitioning non-strict languages for multi-threaded code generation

Coorg, Satyan R (1994)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Subsystems of set theory and analysis

Friedman, Harvey Martin, 1948- (1967)

  • Advisor: Gerald E. Sacks
  • Department of Mathematics
Read it

The ontic inference language

Witty, Carl Roger (1995)

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

Automated termination proofs using Walther recursion

Wu, Alexander (1994)

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

Functional encapsulation and type reconstruction in a strongly-typed, polymorphic language

Gupta, Shail Aditya (1995)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Principal typings and type inference

Jim, Trevor (1996)

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

Agent problem solving by inductive and deductive program synthesis

Fox, Harold, 1979- (2008)

  • Advisor: Howard E. Shrobe
  • 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

Compilation using correct-by-construction program synthesis

Pit-Claudel, Clément (2016)

  • Advisor: Adam Chlipala
  • Department of Electrical Engineering and Computer Science
Read it