Sciweavers

26 search results - page 1 / 6
» sas 2010
Sort
View
SAS
2010
Springer
124views Formal Methods» more  SAS 2010»
14 years 8 months ago
Abstract Interpreters for Free
Matthew Might
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
14 years 8 months ago
Automatic Verification of Determinism for Structured Parallel Programs
Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...
59
Voted
SAS
2010
Springer
126views Formal Methods» more  SAS 2010»
14 years 8 months ago
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
Elvira Albert, Puri Arenas, Samir Genaim, German P...