Jens Palsberg

Identifiers

Open LibraryOL717735A

Top Subjects

Programming Languages - General (2)
Computers (2)
Programming - Software Development (2)
Object-oriented programming (Computer science) (1)
Logic Design (1)
Programming languages (1)
Congresses (1)

Books by Jens Palsberg

Total count: 10

Polyvariant analysis of the untyped lambda calculus

Computer Science Department, Aarhus University1992-01-01
Object-oriented type systems

Wiley1994-01-01
Static Analysis7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science)1 edition

Springer2000-06-22
Modern Compiler Implementation in Java2 edition

Cambridge University Press2002-11-01
Tools and Algorithms for the Construction and Analysis of Systems12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Springer London, Limited2006-01-01
Model Checking Software15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Springer London, Limited2008-01-01
Static Analysis16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Springer Berlin Heidelberg2009-01-01
Semantics and Algebraic SpecificationEssays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Springer London, Limited2009-01-01
Modern Compiler Implementation in Java

Cambridge University Press2012-01-01
Verification, Model Checking, and Abstract Interpretation19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Springer2018-01-10