2 search results - page 1 / 1 » Automated Derivation of Application-aware Error Detectors us... |
110
Voted
IOLTS
2007
IEEE
15 years 9 months ago
2007
IEEE
117
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...