computer languages, systems & structures VOLUME CONTENTS Volume 29, Nos. 1-2 April—July 2003 Alvaro E. Campos and Data-race and concurrent-write freedom _ are Dionel A. Suazo undecidable Uday P. Khedker, Bidirectional data flow analysis for type inferencing Dhananjay M. Dhamdhere and Alan Mycroft Volume 29, No. 3 October 2003 Patricia M. Hill and Fausto Spoto Logic programs as compact denotations Volume 29, No. 4 December 2003 JustinT. Maris, Matthew D. Roper DesCaRTeS: a run-time system with SR-like functionality and Ronald A. Olsson for programming a network of embedded systems Index to Volume 29

Computer Languages, Systems & Structures 2003: Vol 29 Table of Contents PDF

1 Pages

2003

0.13 MB

English

#periodicals #sim_microfilm #pub_computer-languages-systems-structures

Checking for file health...

Preview Computer Languages, Systems & Structures 2003: Vol 29 Table of Contents

computer languages, systems & structures VOLUME CONTENTS Volume 29, Nos. 1-2 April—July 2003 Alvaro E. Campos and Data-race and concurrent-write freedom _ are Dionel A. Suazo undecidable Uday P. Khedker, Bidirectional data flow analysis for type inferencing Dhananjay M. Dhamdhere and Alan Mycroft Volume 29, No. 3 October 2003 Patricia M. Hill and Fausto Spoto Logic programs as compact denotations Volume 29, No. 4 December 2003 JustinT. Maris, Matthew D. Roper DesCaRTeS: a run-time system with SR-like functionality and Ronald A. Olsson for programming a network of embedded systems Index to Volume 29

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.