Theses most similar to Agent problem solving by inductive and deductive program synthesis (Fox, Harold, 1979-; 2008) read it

The ontic inference language

Witty, Carl Roger (1995)

  • Advisor: David A. McAllester
  • 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

On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types

Arkoudas, Kostas (1996)

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

Steps towards a theory of representation design

Van Baalen, Jeffrey (1988)

  • Advisor: Bauman, Randall (Randall David), 1971-
  • Department of Electrical Engineering and Computer Science
Read it

Relational envelope-based planning

Hernandez Gardiol, Natalia, 1977- (2008)

  • Advisor: Leslie Pack Kaelbling
  • Department of Electrical Engineering and Computer Science
Read it

Reasoning strategies for semantic Web rule languages

Scharf, Joseph (Joseph Eric) (2008)

  • Advisor: Tim Berners-Lee
  • 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

Accessible programming using program synthesis

Singh, Rishabh (2014)

  • Advisors: Armando Solar̆-Lezam; Sumit Gulwani
  • Department of Electrical Engineering and Computer Science
Read it

An extensible framework for synthesizing efficient, verified parsers

Gross, Jason S (2015)

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