@inproceedings{DBLP:conf/sigada/X76a,
title = {Parallel Processing, Machine Dependency and Program Verification},
booktitle = {Design and Implementation of Programming Languages},
year = {1976},
pages = {35-61},
ee = {http://dx.doi.org/10.1007/BFb0021418},
crossref = {DBLP:conf/sigada/1976},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sigada/1976,
editor = {John H. Williams and
David A. Fisher},
title = {Design and Implementation of Programming Languages, Proceeding
of a DoD Sponsored Workshop, Ithaca, NY, USA, September
30 - October 1, 1976},
booktitle = {Design and Implementation of Programming Languages},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {54},
year = {1977},
isbn = {3-540-08360-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2011-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
