Lecture Notes in Computer Science 1140 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Advisory Board: W. Brauer D. Gries J. Stoer Herbert Kuchen S. Doaitse Swierstra (Eds.) Programming Languages: Implementations, Logics, and Programs 8th International Symposium, PLILP '96 Aachen, Germany, September 24-27, 1996 Proceedings ~ Springer Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Herbert Kuchen Lehrstuhl fur Informatik I/II, RWTH Aachen D-52056 Aachen, Germany E-mail: herbert @demete~informatik.rwth-aachen.de S. Doaitse Swierstra Department of Computer Science, Utrecht University Padualaan 14, 3508 TB Utrecht, The Netherlands E-mail:
[email protected] Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Programming languages: implementations, logics and programs : 8th international symposium ; proceedings / PLILP '96, Aachen, Germany, September 24 - 27, 1996. Herbert R. Kuchen ; S. Doaitse Swierstra (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara ; Singapore ; Tokyo : Springer, 1996 (Lecture notes in computer science ; Vol. 1140) ISBN 3-540-61756-6 HE: Kuchen, Herbert [Hrsg.]; PLILP <8, 1996, Aachen>; GT CR Subject Classification (1991): D.I.1, D.1.6, D.3.1, D.3.4,E3.3, E4.1-3, 1.1.3, 1.2.1 ISSN 0302-9743 ISBN 3-540-61756-6 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.