J
Jens Palsberg
9 works on record
Works

Static Analysis

Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday

Modern compiler implementation in Java

Verification, Model Checking, and Abstract Interpretation

Object-oriented type systems
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Semantics and Algebraic Specification
Semantics and Algebraic Specification
Model Checking Software
Model Checking Software
Polyvariant analysis of the untyped lambda calculus
Polyvariant analysis of the untyped lambda calculus