A Modular, Extensible Proof Method for Small-Step Flow Analyses
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Compilation and equivalence of imperative objects
Journal of Functional Programming
Hi-index | 0.00 |