Palsberg, Jens.
Overview
| Works: | 1 works in 0 publications in 0 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)
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)
Modern compiler implementation in Java
by:
Palsberg, Jens.; NetLibrary, Inc.; Appel, Andrew W., (1960-)
(Language materials, printed)
Subjects
Software Engineering.
Compilers (Computer programs)
Logics and Meanings of Programs.
Java (Computer program language)
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Computer software- Verification
Computer Science.
Compilateurs (Logiciels)
Java (Langage de programmation)