zell08v

Personal information


Ph.D candidate


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

History


14 years 33 weeks