Lecture Notes in Computer Science
|
|
- Charlotte Perkins
- 5 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1048 Advisory Board: W. Brauer D. Gries J. Stoer
2 Maurizio Proietti (Ed.) Logic Program Synthesis and Transformation 5th International Workshop, LOPSTR' 95 Utrecht, The Netherlands September 20-22, 1995 Proceedings Springer
3 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editor Maurizio Proietti IASI-CNR Viale Manzoni 30, Rome, Italy Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Logic program synthesis and transformation 9 5th international workshop ; proceedings / LOPSTR '95, Utrecht, The Netherlands, September 20-22, Maurizio Proietti (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara ; Singapore ; Tokyo : Springer, 1996 (Lecture notes in computer science ; Vol. 1048) ISBN NE: Proietti, Maurizio [Hrsg.]; LOPSTR <5, 1995, Utrecht>; GT CR Subject Classification (1991): D.1.2, 1.2.2, D,1.6,E4.1, F.3.1 ISBN 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. 9 Springer-Verlag Berlin Heidelberg 1996 Printed in Germany Typesetting: Camera-ready by author SPIN / Printed on acid-free paper
4 Foreword Program transformation is a very powerful methodology for the development of correct and efficient programs. In applying this methodology one usually assumes that an initial program version (or a program specification) is given and it is required to derive a new program (or an implementation of the given specification). Since program specifications are often given as formulas in a logical theory, it is particularly important to study the transformation methodology in the case of logic programming. The field of program derivation by transformation is very closely related to the field of program synthesis. In these fields, in fact, similar techniques of formula manipulation are used. For this reason it is appropriate to study the techniques for Logic Program Synthesis and Transformation as a single set of related methodologies. This is the aim of the LoPSTr workshops. During the past years, these workshops have been very fruitful and stimulating. Their success also shows the importance and the relevance of the synthesis and transformation of logic programs within the area of theoretical computer science and its practical applications. Other areas of artificial intelligence and programming methodologies are connected to logic program synthesis and transformation. Papers from these areas have been presented and discussed in previous LoPSTr workshops and in LoP- STr'95 as well. Among these areas I would like to mention: i) Constructive type theory, by which one may synthesize programs from a constructive proof of the existence of an element of a given type, ii) Inductive logic programming, which studies the problem of synthesizing logic programs from examples and counterexamples, iii) Abstract interpretation and program analysis, which aims at proving properties of programs by interpreting the concrete operations of the programs in some given abstract domains, iv) Partial evaluation (or partial deduction), by which one derives new and more efficient programs by exploiting some information on the values of the input variables, and v) Theorem proving, which studies the different techniques of making proofs within various logical theories. Now I would like to list some desirable properties of the derivation steps which support the development of logic programs. These properties should be taken into account when designing a system for logic program synthesis and/or transformation. I will list those properties with reference to the program transformation process, but I think that they are of great importance also in the case of program synthesis. 1. First of all, it is desirable that every derivation step be constructive, that is, program Pi+l should be derived from program Pi by the application of a constructive transformation rule. I will not formally specify here the notion of constructive rule. It will be enough to say that rewriting rules of the kind one uses in rewriting systems, that is, rules which are based on: i) syntactic matching, and ii) rewriting of old expressions by new expressions, are
5 VI constructive. Thus, for instance, the usual schema-based program transformation rules are considered to be constructive. By contrast, non-constructive rules are, for instance, those whose application needs the solution of a problem which is undecidable. 2. Some derivation steps can be lemmatic. The meaning of this property is that when performing transformation steps, we allow ourselves to use lemmas, and these lemmas can be proved off-line (possibly, by taking advantage of some ad hoc theorem provers). This feature of the program derivation process is of major importance, because it is often the case that only by the use of lemmas can one derive very efficient programs. Indeed, for instance, linear running time algorithms for the evaluation of linear recurrence relations can be derived from given exponential running time algorithms, only if the functionality of some relevant predicates is proved. 3. Some derivation steps should allow substitutivity. The meaning of this property is that when a subformula, say 9, of a given program, say P~, is shown (using i0rogram Pi) to be equivalent to a formula r then we may get a new program Pi+l by replacing ~ by r within Pi. This substitution should preserve the semantics of Pi, and it is performed for changing the behaviour of Pi so that, for instance, the computations evoked by Pi+l are more efficient than those evoked by Pi. (Here we assume that new programs are derived from old programs with the aim of improving efficiency.) Notice also that, although the equivalence of ~ and r is derived from Pi, the replacement of ~ by r within Pi may change the semantics of Pi. For instance, from the simple formula (or program) a ~-* b, obviously one may derive the equivalence a ~ b. Thus, by replacing within a ~ b the expression b by the equivalent expression a, we get the new program a ~ a which is not equivalent to the original program. Finally, the reader should notice that constructive, lemmatic, and substitutive derivation steps allow for machine assistance. This is important, in particular, when the size of the programs to be derived becomes considerably large, and indeed, such mechanization makes it possible to propose the derivation methodology as a valuable technique for real-life programming. l~me January 1996 Alberto Pettorossi
6 Preface This volume contains the 19 papers presented at the Fifth International Workshop on Logic Program Synthesis and Transformation, LoPSTr'95, held near Utrecht (The Netherlands), September 20-22, Previous LoPSTr workshops were held in Manchester, U.K. (1991 and 1992), Louvain-la-Neuve, Belgium (1993), and Pisa, Italy (1994). The aim of the LoPSTr workshops is to stimulate new ideas and research in the field of machine-assisted development of logic programs. The main topics of interest are: program synthesis, program transformation, and program specialization. The papers presented at LoPSTr'95 give an up-to-date overview of the current research on these topics, as well as related topics in the field of program development, such as: automated deduction, constructive type theory, implementation techniques, inductive logic programming, meta-languages, program analysis, program specification, program verification, and software engineering. LoPSTr'95 was organized in parallel with PLILP'95 (Seventh Symposium on Programming Languages: Implementations, Logics, and Programs). The overall attendance at the two meetings was about 110 people from 21 countries. Out of 40 submissions, the Program Committee selected 19 papers for presentation. After the workshop, 17 papers were submitted in their revised versions which took into account the discussion at the workshop and the comments by the referees. These papers underwent a second refereeing process and they were further revised. The two remaining presentations are recorded in these proceedings as abstracts. Most submissions, the referee reports, and the discussion among the members of the Program Committee were done by electronic mail. Several hundred electronic mail messages concerning LoPSTr'95 have been delivered to my mailbox. LoPSTr'95 and PLILP'95 shared three invited lectures which were given by Mark Jones (Nottingham, U.K.), Oege de Moor (Oxford, U.K.), and Kim Marriott (Melbourne, Australia). The papers presented by the invited lecturers appear in the PLILP'95 proceedings (Lecture Notes in Computer Science, Vol. 982, Springer-Verlag). I would hike to thank all those who contributed to making LoPSTr'95 a successful and fruitful event. In particular, my gratitude goes to the researchers who submitted the papers, the referees, the members of the Program Committee, and the various agencies which provided financial support. Special thanks go to Prof. Doaitse Swierstra and his colleagues of Utrecht University for their invaluable work which allowed the workshop to run very smoothly and in a pleasant environment. I also would like to thank Alberto Pettorossi for his continuous advice and help. Finally, I would like to give my warmest thanks to all participants who contributed, by means of lively discussions, to making LoPSTr'95 a very stimulating event. Rome January 1996 Maurizio Proietti
7 viii Program Committee A. Bossi D. Boulanger S. Debray Y. Deville L. Fribourg N. Fuchs J. Gallagher T. Mogensen M. Proietti It. Seki P, Tarau G. Wiggins (Universits della Calabria, Rende, Italy) (Katholieke Universiteit Leuven, Belgium) (University of Arizona, Tucson, USA) Catholique de Louvain, Belgium) (LIENS-CNRS, Paris, France) (University of Zurich, Switzerland) (University of Bristol, U.K.) (University of Copenhagen, Denmark) (IASI-CNR, Roma, Italy, chair) (NIT, Nagoya, Japan) (University of Moncton, Canada) (University of Edinburgh, U.K.) Organizing Committee Jeroen Fokker, Erik Meijer, Margje Punt, Doaitse Swierstra Sponsors (of LoPSTr'95 and PLILP'95) European Commission - ESPRIT Basic Research (CompuLog-Net) Royal Dutch Academy of Sciences (KNAW) The Netherlands Computer Science Research Foundation (SION) The Association of Logic Programming IASI-CNR (National Research Council of Italy) Universiteit Utrecht List of Referees The following people helped the Program Committee in refereeing the papers submitted to LoPSTr'95: Michel Bidoit, Michele Bugliesi, Nicoletta Cocco, Livio Colussi, Sandro Etalle, Gilberto Fil@, Robert Gliick, Neil Jones, Vincent Lombart, Tadashi Kawamura, Alberto Pettorossi, Jakob Rehof, Taisuke Sato, Morten Heine Sorensen, Wamberto Vasconcelos.
8 Table of Contents Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints... 1 Michael Leuschel Memoing Evaluation by Source-to-Source Transformation Jens E. Wunderwald Transformation of Left Terminating Programs: The Reordering Problem Annalisa Bossi, Nicoletta Cocco, and Sandro Etalle Derivation of Concurrent Algorithms in Tempo Steve Gregory An Argumentation-Theoretic Approach to Logic Program Transformation Francesca Toni and Robert A. Kowalski Complexity of Horn Programs Erik Aarts Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis M.M. Gallardo and J.M. Troya Towards Automatic Control for CLP(x) Programs Fred Mesnard Ideal Refinement of Datalog Programs Giovanni Semeraro, Floriana Esposito, and Donato Malerba Guiding Program Development Systems by a Connection Based Proof Strategy Cristoph I(reitz, Jens Otten, and Stephan Schmitt Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs Kung-Kiu Lau and Mario Ornaghi Logic Program Synthesis by Induction over Horn Clauses Andrew J. Parkes and Geraint A. Wiggins Logic Program Transformation Through Generalization Schemata Pierre Flener and Yves Deville
9 An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations Wamberto W. Vasconcelos and Norberr E. Fuchs Solving Deductive Planning Problems Using Program AnMysis and Transformation D.A. de Waal and M. Thielscher Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs Under the Completion Sophie Renault Termination of Logic Programs Using Semantic Unification Thomas Arts and Hans Zantema On the Mechanics of Metasystem Hierarchies in Program Transformation Robert Gliick Efficient Translation of Lazy Functional Logic Programs into Prolog Michael Hanus Author Index
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 968 Advisory Board: W. Brauer D. Gries J. Stoer Nachum Dershowitz Naomi Lindenstrauss (Eds.) Conditional and Typed Rewriting
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1007 Advisory Board: W. Brauer D. Gries J. Stoer Antoon Bosselaers Bart Preneel (Eds.) Integrity Primitives for Secure
More informationLecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1528 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Bart Preneel Vincent Rijmen
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1019 Advisory Board: W. Brauer D. Gries J. Stoer Springer Berlin Heidelberg New York Barcelona Budapest Hong Kong London
More informationLecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1487 Volker Gruhn (Ed.) Software Process Technology 6th European Workshop, EWSPT '98 Weybridge, UK, September 16-18,
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1128 Advisory Board: W. Brauer D. Gries J. Stoer Jacques Calmet Carla Limongelli (Eds.) Design and Implementation of
More informationLecture Notes in Artificial Intelligence. Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence 897 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1143 Advisory Board: W. Brauer D. Gries J. Stoer Terence C. Fogarty (Ed.) Evolutionary Computing AISB Workshop Brighton,
More informationLecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Edel Sherratt (Ed.) Telecommunications
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1005 Advisory Board: W. Brauer D. Gries J. Stoer Jacky Estublier (Ed.) Software Configuration Management ICSE SCM-4
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 772 Advisory Board: W. Brauer D. Giles J. Stoer Brian C. Warboys (Ed.) Software Process Technology Third European Workshop, EWSPT '94
More informationWORKSHOPS IN COMPUTING. Series edited by C: J. van Rijsbergen
WORKSHOPS IN COMPUTING Series edited by C: J. van Rijsbergen Also in this series ALPUK91, Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 Geraint A.Wiggins,
More informationWORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen
WORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen Also in this series Z User Workshop, York 1991, Proceedings of the Sixth Annual Z User Meeting, York, 1~17 December 1991 J.E. Nicholls (Ed.)
More informationLecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Erich Grädel Wolfgang Thomas Thomas
More informationLecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1414 Mogens Nielsen Wolfgang Thomas (Eds.) Computer Science Logic 11 th International Workshop, CSL '97 Annual Conference
More informationLecture Notes in Computer Science. Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer
Lecture Notes in Computer Science 502 Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer g J. Bfirzdin.g D. BjCrner (Eds.) Baltic Computer Science Selected Papers Springer-Verlag
More informationLecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Reiner Dumke Alain Abran (Eds.)
More informationData Assimilation: Tools for Modelling the Ocean in a Global Change Perspective
Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective NATO ASI Series Advanced Science Institutes Series A series presenting the results of activities sponsored by the NA TO Science
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 284 A. KSndig R.E. BShrer J. D&hler (Eds.) Embedded Systems New Approaches to Their Formal Description and Design An Advanced Course
More informationLecture Notes in Computer Science 1096 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1096 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Thomas Schael Workflow
More informationModeling Manufacturing Systems. From Aggregate Planning to Real-Time Control
Modeling Manufacturing Systems From Aggregate Planning to Real-Time Control Springer-Verlag Berlin Heidelberg GmbH Paolo Brandimarte. Agostino Villa (Eds.) Modeling Manufacturing Systems From Aggregate
More informationLecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1481 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Singapore Tokyo Ethan V. Munson Charles
More informationArchitecture Design and Validation Methods
Architecture Design and Validation Methods Springer-Verlag Berlin Heidelberg GmbH Egon Börger (Ed.) Architecture Design and Validation Methods With 175 Figures, Springer Editor Prof. Dr. Egon Börger Universita
More informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 1188 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 734 Advisory Board: W. Brauer D. Gries J. Stoer Jens Volkert (Ed.) Parallel Computation Second International ACPC Conference Gmunden,
More informationFuture-Oriented Technology Analysis
Future-Oriented Technology Analysis Cristiano Cagnin Michael Keenan Ron Johnston Fabiana Scapolo Rémi Barré Editors Future-Oriented Technology Analysis Strategic Intelligence for an Innovative Economy
More informationLecture Notes in Control and Information Sciences 283. Editors: M. Thoma M. Morari
Lecture Notes in Control and Information Sciences 283 Editors: M. Thoma M. Morari Springer Berlin Heidelberg NewYork Barcelona Hong Kong London Milan Paris Tokyo Christopher Fielding, Andras Varga, Samir
More informationLecture Notes in Computer Science 1924 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1924 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Walid Taha (Ed.) Semantics,
More informationTECHNOLOGY, INNOVATION, and POLICY 3. Series of the Fraunhofer Institute for Systems and Innovation Research (lsi)
TECHNOLOGY, INNOVATION, and POLICY 3 Series of the Fraunhofer Institute for Systems and Innovation Research (lsi) Guido Reger Ulrich Schmoch (Eds.) Organisation of Science and Technology at the Watershed
More informationLecture Notes in Computer Science 1946 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1946 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Philippe Palanque Fabio Paternò
More informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 1152 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis
More informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 941 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and
More informationCommunications in Computer and Information Science 85
Communications in Computer and Information Science 85 Albert Fleischmann Detlef Seese Christian Stary (Eds.) S-BPM ONE Setting the Stage for Subject-Oriented Business Process Management First International
More informationZEW Economic Studies. Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany
ZEW Economic Studies Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany ZEW Economic Studies Vol. 1: O. Hohmeyer, K. Rennings (Eds.) Man-Made Climate Change Economic
More informationLecture Notes in Control and Information Sciences
Lecture Notes in Control and Information Sciences Edited by M.Thoma and A.Wyner 167 M. Rao Integrated System for Intelligent Control Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong
More informationLecture Notes in Computer Science 1500 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1500 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Jean-Claude Derniame Badara
More informationStraBer Wahl Graphics and Robotics
StraBer Wahl Graphics and Robotics Wolfgang StrafSer Friedrich Wahl Editors Graphics and Robotics With 128 Figures, some in Colour, Springer Prof. Dr.-lng. Wolfgang StraBer Wilhelm-Schickard-lnstitut fur
More informationCognitive Systems Monographs
Cognitive Systems Monographs Volume 9 Editors: Rüdiger Dillmann Yoshihiko Nakamura Stefan Schaal David Vernon Heiko Hamann Space-Time Continuous Models of Swarm Robotic Systems Supporting Global-to-Local
More informationForeword. Imperial College London
Foreword This book celebrates the 25th anniversary of GULP the Italian Association for Logic. Authored by Italian researchers at the leading edge of their fields, it presents an up-to-date survey of a
More informationDesign for Innovative Value Towards a Sustainable Society
Design for Innovative Value Towards a Sustainable Society Mitsutaka Matsumoto Yasushi Umeda Keijiro Masui Shinichi Fukushige Editors Design for Innovative Value Towards a Sustainable Society Proceedings
More informationLecture Notes in Economics and Mathematical Systems
Lecture Notes in Economics and Mathematical Systems 520 Founding Editors: M. Beckmann H. P. Kiinzi Managing Editors: Prof. Dr. G. Fandel Fachbereich Wirtschaftswissenschaften Fernuniversitat Hagen Feithstr.
More informationSpatio-Temporal Image Processing
Bernd J~ihne Spatio-Temporal Image Processing Theory and Scientific Applications Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest Series Editors Gerhard Goos Universitat
More informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science Edited by J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis Editorial Artificial Intelligence
More informationHandbook of Engineering Acoustics
Handbook of Engineering Acoustics . Gerhard M uller Michael M oser Editors Handbook of Engineering Acoustics Editors Prof. Dr. Gerhard M uller Technische Universit at M unchen Lehrstuhl f ur Baumechanik
More informationEnabling Manufacturing Competitiveness and Economic Sustainability
Enabling Manufacturing Competitiveness and Economic Sustainability Hoda A. ElMaraghy Editor Enabling Manufacturing Competitiveness and Economic Sustainability Proceedings of the 4th International Conference
More informationRequirements Engineering for Digital Health
Requirements Engineering for Digital Health Samuel A. Fricker Christoph Thümmler Anastasius Gavras Editors Requirements Engineering for Digital Health Editors Samuel A. Fricker Blekinge Institute of Technology
More informationSimulation by Bondgraphs
Jean U. Thoma Simulation by Bondgraphs Introduction to a Graphical Method Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong 1990 Professor Dr. Jean Ulrich Thoma Dept. of Mechanical
More informationSpringerBriefs in Space Development
SpringerBriefs in Space Development Series Editor: Joseph N. Pelton, Jr. For further volumes: http://www.springer.com/series/10058 Audrey L. Allison The ITU and Managing Satellite Orbital and Spectrum
More informationLecture Notes in Artificial Intelligence 2922
Lecture Notes in Artificial Intelligence 2922 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Frank
More informationBetter Business Regulation in a Risk Society
Better Business Regulation in a Risk Society Alberto Alemanno Frank den Butter André Nijsen Jacopo Torriti Editors Better Business Regulation in a Risk Society Editors Alberto Alemanno Department of Law
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 49 Interactive Systems Proceedings, 6th Informatik Symposium IBM Germany, Bad Homburg v. d. H., September 1976 Edited by A. Blaser and
More informationStudies in Empirical Economics
Studies in Empirical Economics Aman Ullah (Ed.) Semiparametric and Nonparametric Econometrics 1989. VII, 172 pp. Hard cover DM 120, ISBN 3-7908-0418-5 Walter Kramer (Ed.) Econometrics of Structural Change
More informationComputer-Aided Production Management
Asbj0rn Rolstadas (Ed.) Computer-Aided Production Management With 169 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Professor Dr. Asbjern Ro1stadas Production Engineering Laboratory
More informationFounding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK
History of Computing Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK Series Editor Gerard Alberts, University of Amsterdam, Amsterdam, The Netherlands Advisory Board Jack Copeland,
More information146 Advances in Polymer Science
146 Advances in Polymer Science Editorial Board: A. Abe- A.-C. Albertsson H.-]. Cantow K. Dugek S. Edwards. H. H6cker ]. E ]oanny H.-H. Kausch T. Kobayashi K.-S. Lee. ]. E. McGrath L. Monnerie S. I. Stupp
More informationMATLAB Guide to Finite Elements
MATLAB Guide to Finite Elements Peter I. Kattan MATLAB Guide to Finite Elements An Interactive Approach Second Edition With 108 Figures and 25 Tables Peter I. Kattan, PhD P.O. BOX 1392 Amman 11118 Jordan
More informationTesting Safety-Related Software
Testing Safety-Related Software Springer London Berlin Heidelberg New York Barcelona Hong Kong Milan Paris Santa Clara Singapore Tokyo Stewart Gardiner (Ed.) Testing Safety-Related Software A Practical
More informationAdvances in Modern Tourism Research
Advances in Modern Tourism Research Álvaro Matias Peter Nijkamp Paulo Neto (Eds.) Advances in Modern Tourism Research Economic Perspectives With 26 Figures and 65 Tables Prof. Dr. Álvaro Matias University
More informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 1069 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis
More informationLecture Notes in Artificial Intelligence 3396
Lecture Notes in Artificial Intelligence 3396 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Rogier M. van Eijk Marc-Philippe Huget Frank Dignum (Eds.) Agent Communication
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 731 Advisory Board: W. Brauer D. Gries J. Stoer Alexander Schill (Ed.) DCE The OSF Distributed Computing Environment Client/Server Model
More informationACHIEVEMENT AND ASSURANCE OF SAFETY
ACHIEVEMENT AND ASSURANCE OF SAFETY Related titles: Directions in Safety-critical Systems Proceedings of the First Safety-critical Systems Symposium, Bristol 1993 Redmill and Anderson (eds) 3-540-19817-2
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1245 Advisory Board: W. Brauer D. Gries J. Stoer Raymond Marie Brigitte Plateau Maria Calzarossa Gerardo Rubino (Eds.)
More informationLecture Notes in Control and Information Sciences 198. Editor: M. Thoma
Lecture Notes in Control and Information Sciences 198 Editor: M. Thoma H. Winter and H.-G. Nfif~er (Eds.) Advanced Technologies for Air Traffic Flow Management Proceedings of an International Seminar Organized
More informationU. Lindemann (Ed.) Human Behaviour in Design
U. Lindemann (Ed.) Human Behaviour in Design Springer-Verlag Berlin Heidelberg GmbH Engineering ONLINE LIBRARY http://www.springer.de/engine/ Udo Lindemann (Ed.) Human Behaviour in Design Individuals,
More informationAdvances in Behavioral Economics
Advances in Behavioral Economics Professor Dr. Horst Todt Friedel Bolle Michael Carlberg (Eds.) Advances in Behavioral Economies Essays in Honor of Horst Todt With 31 Figures and 11 Tables Springer-Verlag
More informationMatthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business. Pre-Vocational Education in European Schools RESEARCH
Fit for Business Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business Pre-Vocational Education in European Schools RESEARCH Editors Matthias Pilz, Susanne Berger, Cologne, Germany Roy Canning
More informationNO MORE MUDDLING THROUGH
NO MORE MUDDLING THROUGH No More Muddling Through Mastering Complex Projects in Engineering and Management by RAINER ZÜST Zürich, Switzerland and PETER TROXLER Rotterdam, The Netherlands A C.I.P. Catalogue
More informationHealth Information Technology Standards. Series Editor: Tim Benson
Health Information Technology Standards Series Editor: Tim Benson Tim Benson Principles of Health Interoperability HL7 and SNOMED Second Edition Tim Benson Abies Ltd Hermitage, Thatcham Berkshire UK ISBN
More information2 Forensic Science Progress
2 Forensic Science Progress Forensic Science Progress Volume 2 With Contributions by G. Hellmiss, J. Mathyer, B. Miyake, H. Sato, S. Seta With 58 Figures and 36 Tables Springer-Verlag Berlin Heidelberg
More informationLecture Notes in Computer Science 2013 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 2013 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Sameer Singh Nabeel Murshed
More informationPierre-Yves Henin (Ed.) Advances in Business Cycle Research
Pierre-Yves Henin (Ed.) Advances in Business Cycle Research Springer-V erlag Berlin Heidelberg GmbH Pierre-Yves Henin (Ed.) Advances in Business Cycle Research With Application to the French and US Economies
More informationApplied Technology and Innovation Management
Applied Technology and Innovation Management Heinrich Arnold Michael Erner Peter Möckel Christopher Schläffer Editors Applied Technology and Innovation Management Insights and Experiences from an Industry-Leading
More information3 Forensic Science Progress
3 Forensic Science Progress Forensic Science Progress Volume 3 With Contributions by C. A. Pounds, R. N. Smith With 19 Figures and 7 Tables Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
More informationRisk-Based Ship Design
Risk-Based Ship Design Apostolos Papanikolaou (Ed.) Risk-Based Ship Design Methods, Tools and Applications Authored by Carlos Guedes Soares, Andrzej Jasionowski, Jørgen Jensen, Dag McGeorge, Apostolos
More informationLecture Notes in Economics and Mathematical Systems
Lecture Notes in Economics and Mathematical Systems 494 Founding Editors: M. Beckmann H. P. KOnzi Co-Editors: C. D. Aliprantis, Dan Kovenock Editorial Board: P. Bardsley, A. Basile, M.R. Baye, T. Cason,
More informationAcoustic Emission Testing
Acoustic Emission Testing Christian U. Grosse (Eds.) Acoustic Emission Testing 123 Christian U. Grosse Department of Non-destructive Testing and Monitoring Techniques Material Testing Institute MPA University
More informationSergey Ablameyko and Tony Pridmore. Machine Interpretation of Line Drawing Images. Technical Drawings, Maps and Diagrams.
Sergey Ablameyko and Tony Pridmore Machine Interpretation of Line Drawing Images Technical Drawings, Maps and Diagrams i Springer Sergey Ablameyko, PhD, DSc, Prof, FlEE, FIAPR, SMIEEE Institute of Engineering
More informationBroadband Networks, Smart Grids and Climate Change
Broadband Networks, Smart Grids and Climate Change Eli M. Noam Lorenzo Maria Pupillo Johann J. Kranz Editors Broadband Networks, Smart Grids and Climate Change Editors Eli M. Noam Columbia Business School
More informationANALOG CIRCUITS AND SIGNAL PROCESSING
ANALOG CIRCUITS AND SIGNAL PROCESSING Series Editors Mohammed Ismail, The Ohio State University Mohamad Sawan, École Polytechnique de Montréal For further volumes: http://www.springer.com/series/7381 Yongjian
More informationProgramming Methodology
Texts and Monographs in Computer Science Editor David Gries Advisory Board F. L. Bauer K. S. Fu J. J. Horning R. Reddy D. C. Tsichritzis W. M. Waite Programming Methodology A Collection of Articles by
More information.. Algorithms and Combinatorics 17
.. Algorithms and Combinatorics 17 Editorial Board R.L. Graham, Murray Hill B. Korte, Bonn L. Lovasz, Budapest A.Wigderson, Jerusalem G.M. Ziegler, Berlin Springer-Verlag Berlin Heidelberg GmbH Oded Goldreich
More informationCost Analysis and Estimating
Roland Kankey Editors Jane Robbins Cost Analysis and Estimating Shifting U.S. Priorities With 34 Figures Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona Roland Kankey
More informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 695 Subseries of Lecture Notes in Computer Science Edited by J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis E. P Klement W. Slany
More informationInnovation Policy in a Knowledge-Based Economy
Innovation Policy in a Knowledge-Based Economy Patrick Llerena Mireille Matt Editors Innovation Policy in a Knowledge-Based Economy Theory and Practice With Contributions by Arman Avadikyan Laurent Bach
More informationTechnology Roadmapping for Strategy and Innovation
Technology Roadmapping for Strategy and Innovation Martin G. Moehrle, Ralf Isenmann, and Robert Phaal (Eds.) Technology Roadmapping for Strategy and Innovation Charting the Route to Success ABC Editors
More informationHierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies
Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) The Analytic Hierarchy Process Applications and Studies With Contributions by 1. M. Alexander, W D. Daniel Jr., 1. G. Dolan, L. P. Fatti, B. L.
More informationCOOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, May 2016, Trento, Italy
Antonella De Angeli Liam Bannon Patrizia Marti Silvia Bordin Editors COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy COOP
More informationScientific Data Mining and Knowledge Discovery
Scientific Data Mining and Knowledge Discovery Mohamed Medhat Gaber Editor Scientific Data Mining and Knowledge Discovery Principles and Foundations ABC Editor Mohamed Medhat Gaber Caulfield School of
More informationFuture Trends of TAPSOFT
Future Trends of TAPSOFT Hartmut Ehrig Bernd Mahr Technische Universits Berlin Franklinstrat3e 28/29, D-10587 Berlin e-mail: {ehrig, mahr}@cs.tu-berlin.de January 1997 Preface and Summary The TAPSOFT-conferences
More informationThe Future of Civil Litigation
The Future of Civil Litigation ThiS is a FM Blank Page Laura Ervo Editors The Future of Civil Litigation Access to Courts and Court-annexed Mediation in the Nordic Countries Editors Laura Ervo JPS University
More informationLecture Notes in Computer Science 3081
Lecture Notes in Computer Science 3081 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationStatistics and Computing Series Editors: J. Chambers D. Hand W. Härdle
Statistics and Computing Series Editors: J. Chambers D. Hand W. Härdle For other titles published in this series, go to http://www.springer.com/series/3022 Roberto Baragona Francesco Battaglia Irene Poli
More informationInside the Smart Home
Inside the Smart Home i Springer London Berlin Heidelberg New York Hong Kong Milan Paris Tokyo ii Richard Harper (Ed.) Inside the Smart Home iii Richard Harper, PhD The Appliance Studio, University Gate
More informationStudies in Economic Ethics and Philosophy
Studies in Economic Ethics and Philosophy Series Editor Peter Koslowski Editorial Board F. Neil Brady George Brenkert Geoffrey Brennan James M. Buchanan Thomas Donaldson Richard De George Jon Elster Amitai
More informationLecture Notes in Computer Science 1885 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 1885 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Klaus Havelund John Penix Willem
More informationApplication of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems M.C. Bhuvaneswari Editor Application of Evolutionary Algorithms for Multi-objective Optimization in
More informationHuman-Computer Interaction Series
Human-Computer Interaction Series Editors-in-Chief John Karat Jean Vanderdonckt, Université Catholique de Louvain, Belgium Editorial Board Simone Barbosa, PUC-Rio, Brazil Gaëlle Calvary, LIG-University
More informationRepresentations of Integers as Sums of Squares
Representations of Integers as Sums of Squares Emil Grosswald Representations of Integers as Sums of Squares Springer-Verlag New York Berlin Heidelberg Tokyo Emil Grosswald Temple University College of
More informationDao Companion to the Analects
Dao Companion to the Analects Dao Companions to Chinese Philosophy Series Editor HUANG Yong Department of Philosophy The Chinese University of Hong Kong Shatin, New Territories Hong Kong E-mail: yonghuang@cuhk.edu.hk
More information