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
Electronic Edition
(link)
BibTeX
Uday P. Khedker
,
Dhananjay M. Dhamdhere
,
Alan Mycroft
:
Bidirectional data flow analysis for type inferencing.
15-44
Electronic Edition
(link)
BibTeX
Volume 29, Number 3, October 2003
Patricia M. Hill
,
Fausto Spoto
:
Logic programs as compact denotations.
45-73
Electronic Edition
(link)
BibTeX
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
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:52:48 2009 by
Michael Ley
(
ley@uni-trier.de
)