Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2009
Hurlin, C.
(2009)
Automatic Parallelization and Optimization of Programs by Proof Rewriting.
In: The 16th International Static Analysis Symposium, 9-11 Aug 2009, Los Angeles, USA.
pp. 52-68.
Lecture Notes in Computer Science 5673.
Springer Verlag.
ISBN 978-3-642-03236-3
This list was generated on Thu May 24 08:21:34 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||