11. ESOP 2002:
Grenoble,
France (Part of ETAPS 2002)
Daniel Le Métayer (Ed.):
Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings.
Lecture Notes in Computer Science 2305 Springer 2002, ISBN 3-540-43363-5 BibTeX
@proceedings{DBLP:conf/esop/2002,
editor = {Daniel Le M{\'e}tayer},
title = {Programming Languages and Systems, 11th European Symposium on
Programming, ESOP 2002, held as Part of the Joint European Conference
on Theory and Practice of Software, ETAPS 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
booktitle = {ESOP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2305},
year = {2002},
isbn = {3-540-43363-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Typing and Modularity
Programming Paradigms
Lambda Calculus
Program Analysis:
Applications
Program Analysis:
Principles
Distributed Programs:
Verification and Analysis
Copyright © Sat May 16 23:10:49 2009
by Michael Ley (ley@uni-trier.de)
