文档介绍：Lecture Notes puter Science 2986
Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
3
Berlin
Heidelberg
New York
Hong Kong
London
Milan
Paris
Tokyo
David Schmidt (Ed.)
Programming
Languages
and Systems
13th European Symposium on Programming, ESOP 2004
Held as Part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2004
Barcelona, Spain, March 29 – April 2, 2004
Proceedings
13
Series Editors
Gerhard Goos, Karlsruhe University, Germany
Juris Hartmanis, Cornell University, NY, USA
Jan van Leeuwen, Utrecht University, herlands
Volume Editor
David Schmidt
Kansas State University, Department puting and Information Sciences
234 Nichols Hall, Manhattan, KS 66506, USA
E-mail: ******@
Library of Congress Control Number: 2004102322
CR Subject Classification (1998): , , , , ,
ISSN 0302-9743
ISBN 3-540-21313-9 Springer-Verlag Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication
or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,
in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are
liable for prosecution under the German Copyright Law.
Springer-Verlag is a part of Springer Science+Business Media
∞c Springer-Verlag Berlin Heidelberg 2004
Printed in Germany
Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Protago-TeX-Production GmbH
Printed on acid-free paper SPIN: 10994481 06/3142 543210
Preface
This volume contains the 28 papers presented at ESOP 2004, the 13th European
Symposium on Programming, which took place in Barcelona, Spain, March 2