文档介绍：Lecture Notes puter Science 1817
Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Berlin
Heidelberg
New York
Barcelona
Hong Kong
London
Milan
Paris
Singapore
Tokyo
Annalisa Bossi (Ed.)
Logic-Based
Program Synthesis
and Transformation
9th International Workshop, LOPSTR’99
Venice, Italy, September 22-24, 1999
Selected Papers
Series Editors
Gerhard Goos, Karlsruhe University, Germany
Juris Hartmanis, Cornell University, NY, USA
Jan van Leeuwen, Utrecht University, herlands
Volume Editor
Annalisa Bossi
Universita` Ca’ Foscari di Venezia
Dipartimento di Informatica
Via Torino 155, I-30172 Mestre-Venezia, Italy
E-mail: ******@
Cataloging-in-Publication Data applied for
Die Deutsche Bibliothek - CIP-Einheitsaufnahme
Logic-based program synthesis and transformation : 9th international
workshop ; selected papers / LOPSTR ’99, Venice, Italy, September 22 -
24, 1999. Annalisa Bossi (ed.). - Berlin ; Heidelberg ; New York ;
Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo :
Springer, 2000
(Lecture notes puter science ; Vol. 1817)
ISBN 3-540-67628-7
CR Subject Classification (1998): , , , ,
ISSN 0302-9743
ISBN 3-540-67628-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.
Springer is pany in the BertelsmannSpringer publishing group.
c Springer-Verlag Berlin Heidelberg 2000
Printed in Germany
Typ