Theses most similar to Storyboard programming of data structure manipulations : a picture is worth 20 lines of code (Singh, Rishabh; 2010) read it

Simulation of composite I/O automata

Solovey, Edward, 1979- (2003)

  • Advisors: Dilsun K. Kayna; Nancy Lynch
  • Department of Electrical Engineering and Computer Science
Read it

MintEra : a testing environment for Java programs

Al-Naffouri, Basel Y (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

Scheme modeled as a set of rewrite rules : an efficient implementation

Van Eyk, Paul Agustin (1997)

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

An efficient sequential BTRS implementation

King, Myron Decker (2009)

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

An imperative extension to alloy and a compiler for its execution

Near, Joseph P. (Joseph Paul) (2010)

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

Executable specifications for Java programs

Milicevic, Aleksanda (2010)

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

Improved simulation of input/output automata

Dean, Laura (Laura Gayle), 1979- (2001)

  • Advisors: Michael D. Ernst; Nancy A. Lynch
  • 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