Logic Based Program Synthesis and Transformation 10th International
- PDF / 3,910,797 Bytes
- 191 Pages / 445.8 x 676.214 pts Page_size
- 65 Downloads / 178 Views
2042
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo
Kung-Kiu Lau (Ed.)
Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
13
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editor Kung-Kiu Lau University of Manchester Department of Computer Science Manchester M13 9PL, United Kingdom E-mail: [email protected] Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Logic based program synthesis and transformation : 10th international workshop ; selected papers / LOPSTR 2000, London, UK, July 24 - 28, 2000. Kung-Kiu Lau (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 2001 (Lecture notes in computer science ; Vol. 2042) ISBN 3-540-42127-0
CR Subject Classification (1998): F3.1, D.1.1, D.1.6, I.2.2, F.4.1 ISSN 0302-9743 ISBN 3-540-42127-0 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 Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2001 Printed in Germany Typesetting: Camera-ready by author, data conversion by DA-TeX Gerd Blumenstein Printed on acid-free paper SPIN 10782531 06/3142 543210
Preface
This volume contains selected papers of LOPSTR 2000, the Tenth International Workshop on Logic-based Program Synthesis and Transformation.1 In a departure from previous years, LOPSTR 2000 constituted the Program Development stream at CL 2000, the First International Conference on Computational Logic, held at Imperial College, London, on 24-28 July 2000. This meant that the LOPSTR 2000 Program Committee was also the CL 2000 Program Committee for Program Development, and as such had the responsibility for all Program Development submissions to CL 2000, in addition to the usual LOPSTR abstracts. As a result, there were 18 talks at the workshop, with four papers appearing in the proceedings of CL 2000,2 and 14 abstracts in the LOPSTR 2000 pre-proceedings.3 In this volume we have papers based on ten of the abstracts. So, paradoxically, this volume is slimmer than previous LOPSTR proceedings, whilst this year’s Program Committee have had to deal with more submissions and more categories than
Data Loading...
