J

Jens Palsberg

10 books found

Books by Jens Palsberg
Static AnalysisJens Palsberg
⏱ 7h 14m

Static Analysis

Jens Palsberg

2000434 pp.
Semantics and Algebraic SpecificationJens Palsberg

Semantics and Algebraic Specification

Jens Palsberg

2009No page data
Object-oriented type systemsJens Palsberg
⏱ 3h 0m

Object-oriented type systems

Jens Palsberg

1994180 pp.
Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th BirthdayJens Palsberg

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

Jens Palsberg

2009No page data
Static AnalysisJens Palsberg

Static Analysis

Jens Palsberg

2009No page data
Polyvariant analysis of the untyped lambda calculusJens Palsberg

Polyvariant analysis of the untyped lambda calculus

Jens Palsberg

1992No page data
Modern compiler implementation in JavaAndrew W. Appel
⏱ 8h 32m

Modern compiler implementation in Java

Andrew W. Appel

2002512 pp.
Tools and Algorithms for the Construction and Analysis of SystemsHolger Hermanns

Tools and Algorithms for the Construction and Analysis of Systems

Holger Hermanns

2006No page data
Verification, Model Checking, and Abstract InterpretationIsil Dillig
⏱ 9h 18m

Verification, Model Checking, and Abstract Interpretation

Isil Dillig

2018558 pp.
Model Checking SoftwareKlaus Havelund

Model Checking Software

Klaus Havelund

2008No page data