Electronic Notes in Theoretical Computer Science, Volume 193

Volume 193, November 2007

Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service

Ganesh Gopalakrishnan:
Preface. 1-2
Electronic Edition (link) BibTeX
Gilad Bracha:
Executable Grammars in Newspeak. 3-18
Electronic Edition (link) BibTeX
Ganesh Gopalakrishnan, Robert M. Kirby:
Formal Methods for MPI Programs. 19-27
Electronic Edition (link) BibTeX
Hai Liu, Paul Hudak:
Plugging a Space Leak with an Arrow. 29-45
Electronic Edition (link) BibTeX
Robert Keller, Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin, Steven Gomez:
Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant. 47-60
Electronic Edition (link) BibTeX
Richard B. Kieburtz:
Strength Induction in a Haskell Program Verifier. 61-79
Electronic Edition (link) BibTeX