Jens Palsberg

• Modern compiler implementation in Java
• Object-oriented type systems
• Semantics and Algebraic Specification
• Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday
• Static Analysis
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation
• Model Checking Software
• Polyvariant analysis of the untyped lambda calculus
• Semantics and Algebraic Specification
• Tools and Algorithms for the Construction and Analysis of Systems