Jens Palsberg
Jens Palsberg
4 books in the database
Books
Static AnalysisJens Palsberg
Static Analysis
Jens Palsberg · 2000
Static AnalysisJens Palsberg
Static Analysis
Jens Palsberg · 2009
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 · 2009
Semantics and Algebraic SpecificationJens Palsberg
Semantics and Algebraic Specification
Jens Palsberg · 2009
Co-authored books and collections
Books that list Jens Palsberg among their authors but not as the lead author: co-written works, collections and compilations.
Modern compiler implementation in JavaAndrew W. Appel
Modern compiler implementation in Java
Andrew W. Appel · 2002
Verification, Model Checking, and Abstract InterpretationIsil Dillig
Verification, Model Checking, and Abstract Interpretation
Isil Dillig · 2018
Model Checking SoftwareKlaus Havelund
Model Checking Software
Klaus Havelund · 2008
Tools and Algorithms for the Construction and Analysis of SystemsHolger Hermanns
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns · 2006