Flow logic: a multi-paradigmatic approach to static analysis
The essence of computation
Compilation and equivalence of imperative objects
Journal of Functional Programming
Information flow for Algol-like languages
Computer Languages, Systems and Structures
Hi-index | 0.00 |