![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.