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