Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

22
(FIVE YEARS 0)

Published By ACM Press

1581136625
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A comparison of empirical and model-driven optimization

2003 ◽  
Author(s):  
Kamen Yotov ◽  
Peng Wu ◽  
Xiaoming Li ◽  
Gang Ren ◽  
Michael Cibulskis ◽  
...  
Keyword(s):  
Model Driven

scholarly journals A static analyzer for large safety-critical software

2003 ◽  
Author(s):  
Bruno Blanchet ◽  
Patrick Cousot ◽  
Radhia Cousot ◽  
Jérome Feret ◽  
Laurent Mauborgne ◽  
...  
Keyword(s):  
Safety Critical
Load More ...
Sign in / Sign up

Export Citation Format

Share Document