13 search results - page 1 / 3 » ppdp 2007 |
80
Voted
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
70
Voted
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
71
Voted
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
85
Voted
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
94
Voted
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...