Logic-Based Program Synthesis and Transformation 8th International W
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully
- PDF / 3,720,757 Bytes
- 341 Pages / 431 x 666 pts Page_size
- 56 Downloads / 176 Views
1559
3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo
Pierre Flener (Ed.)
Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR’98 Manchester, UK, June 15-19, 1998 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 Pierre Flener Department of Information Science, Uppsala University Box 311, S-751 05 Uppsala, Sweden E-mail: [email protected]
Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Logic-based program synthesis and transformation : 8th international workshop ; selected papers / LOPSTR ’98, Manchester, UK, June 15 - 19, 1998. Pierre Flener (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 1999 (Lecture notes in computer science ; Vol. 1559) ISBN 3-540-65765-7
CR Subject Classification (1998): F.3.1, D.1.1, D.1.6, I.2.2, F.4.1 ISSN 0302-9743 ISBN 3-540-65765-7 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. c Springer-Verlag Berlin Heidelberg 1999 Printed in Germany
Typesetting: Camera-ready by author SPIN 10702874 06/3142 – 5 4 3 2 1 0
Printed on acid-free paper
V
Preface LOPSTR’98 (see http://www.csd.uu.se/∼pierref/lopstr98/) was the 8th edition of the LOPSTR workshop series (see http://www.cs.man.ac.uk/∼kungkiu/lopstr/). In order to reflect the current emphasis on computational logic, the series was renamed Logic-based Program Synthesis and Transformation, as opposed to the former Logic Program Synthesis and Transformation. This means that papers on any computational-logic-based techniques, languages, and tools for the interactive or automated development of any kinds of programs were now solicited. There was also strong encouragement to submit papers discussing programming-in-the-large issues or practical applications. The selection process ran in three phases. First, based on the submitted 36 extended abstracts, the programme committee invited 27 author teams to present their research at the workshop; pre-workshop proceedings with the accepted abstracts were available as a technical report (see ftp://ftp.cs.man.ac.uk/pub/TR/ UMCS-98-6-1.html). The revised and extended scope triggered abstracts from all continents, including 50% from outside the “usual geographic sphere of influence” of LOPSTR. Also,
Data Loading...
