2 search results - page 1 / 1 » A Curry-Howard Isomorphism for Compilation and Program Execu... |
140
Voted
TLCA
1999
Springer
15 years 12 months ago
1999
Springer
180
Voted
ESOP
2001
Springer
16 years 5 days ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...