


default search action
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.