User loginNavigation |
archivesAbstract interpreters for freeMatthew Might, "Abstract interpreters for free", Static Analysis Symposium 2010 (SAS 2010).
The work in this paper provides some context for known static analysis techniques like k-CFA, and also opens up some interesting new directions for static analysis development. Also, as Matt points out, there are some pedagogical benefits to having a systematic process for getting from semantics to abstract interpretation. By Allan McInnes at 2010-08-29 13:31 | Semantics | Teaching & Learning | 2 comments | other blogs | 10052 reads
|
Browse archivesActive forum topics |
Recent comments
16 weeks 2 days ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 11 hours ago
51 weeks 4 days ago
51 weeks 4 days ago