Jens Palsberg
Northwestern University(US)University of California, Los Angeles(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Parallel Computing and Optimization Techniques, Software Engineering Research, Software Testing and Debugging Techniques
Most-Cited Works
- → Modern Compiler Implementation in Java(2002)413 cited
- → Object-oriented type inference(1991)305 cited
- → Avrora: scalable sensor network simulation with precise timing(2005)304 cited
- → Scalable propagation-based call graph construction algorithms(2000)263 cited
- → A denotational semantics of inheritance and its correctness(1989)219 cited
- Object-oriented type systems(1994)
- → The essence of the Visitor pattern(2002)152 cited