Computer Languages, Systems & Structures, Volume 29

Volume 29, Number 1-2, April-July 2003

• Alvaro E. Campos, Dionel A. Suazo:
  Data-race and concurrent-write freedom are undecidable. 1-13
  
• Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft:
  Bidirectional data flow analysis for type inferencing. 15-44
  

Volume 29, Number 3, October 2003

• Patricia M. Hill, Fausto Spoto:
  Logic programs as compact denotations. 45-73
  

Volume 29, Number 4, December 2003

• Justin T. Maris, Matthew D. Roper, Ronald A. Olsson:
  DesCaRTeS: a run-time system with SR-like functionality for programming a network of embedded systems. 75-100