Proof-Directed De-compilation of Low-Level Code
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
A proof theory for machine code
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Linear Logical Abstract Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |