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
• 
  Gilad Bracha: Executable Grammars in Newspeak. 3-18
• 
  Ganesh Gopalakrishnan, Robert M. Kirby: Formal Methods for MPI Programs. 19-27
• 
  Hai Liu, Paul Hudak: Plugging a Space Leak with an Arrow. 29-45
• 
  Robert Keller, Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin, Steven Gomez: Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant. 47-60
• 
  Richard B. Kieburtz: Strength Induction in a Haskell Program Verifier. 61-79