Results for author 'Jens Palsberg'

Tools and Algorithms for the Construction and Analysis of Systems

12th 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,

Semantics and Algebraic Specification

Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Static Analysis

7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Principles and Practices of Building Parallel Software

Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday