Electronic Notes in Theoretical Computer Science, Volume 193

Volume 193, November 2007

• 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