zell08v

Personal information


Ph.D candidate


Abstract Interpretation
Formal Semantics or Programming Languages
Memory Management in Object-oriented Languages
Static Relational Analysis

History


13 years 52 weeks