Palsberg, Jens.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
Havelund, Klaus, (1955-); Majumdar, Rupak.; Palsberg, Jens.; SpringerLink (Online service); International SPIN Workshop (2008 :)
(Language materials, printed)
Modern compiler implementation in Java /
by:
Palsberg, Jens.; Appel, Andrew W., (1960-)
(Language materials, printed)
Principles and practices of building parallel software = essays dedicated to Vivek Sarkar on the occasion of his 64th birthday /
by:
Palsberg, Jens.; SpringerLink (Online service); Sarkar, Vivek.; Gupta, Rajiv.; Barik, Rajkishore.
(Electronic resources)
Modern compiler implementation in Java
by:
Appel, Andrew W., (1960-); Palsberg, Jens.; NetLibrary, Inc.
(Electronic resources)
Static analysis = 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings/
by:
Palsberg, Jens.; SpringerLink (Online service); International Static Analysis Symposium (2000 :)
(Language materials, printed)
Subjects
Software Engineering.
Theory of Computation.
Compilers (Computer programs)
Logics and Meanings of Programs.
Java (Computer program language)
Parallel programs (Computer programs)
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Parallel programming (Computer science)
Computer software- Verification
Computer Science.
Compilateurs (Logiciels)
Java (Langage de programmation)