Table of contents

  1. Front Matter
  2. Ilies Alouini, Claude Kirchner
    Pages 1-31
  3. Alessandra Di Pierro, Włodzimierz Drabent
    Pages 32-46
  4. María García de la Banda, Manuel Hermenegildo, Kim Marriott
    Pages 47-61
  5. Frédéric Benhamou
    Pages 62-76
  6. François Fages, Roberta Gori
    Pages 77-91
  7. Peter Csaba Ölveczky, Olav Lysne
    Pages 92-106
  8. Massimo Marchiori
    Pages 107-121
  9. Taro Suzuki
    Pages 122-134
  10. Luboš Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Křetínský
    Pages 165-178
  11. Davide Ancona, Elena Zucca
    Pages 179-193
  12. Paolo Volpe
    Pages 224-237
  13. Roberto Giacobazzi, Francesco Ranzato
    Pages 238-253
  14. Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
    Pages 254-268
  15. Ken Mano, Mizuhito Ogawa
    Pages 269-283
  16. Maria C. F. Ferreira, Delia Kesner, Laurence Puel
    Pages 284-298
  17. J. M. Almendros-Jiménez, A. Gavilanes-Franco, A. Gil-Luezas
    Pages 299-313
  18. Dieter Nazareth
    Pages 314-329
  19. Back Matter

Other volumes

  1. Algebraic and Logic Programming
    5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
  2. 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings

About these proceedings


This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.
The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems". The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.


Abstrakte Interpretation Algebraisches Programmieren Typensysteme abstract interpretation algebraic programming logic logic programming programming term rewriting type systems

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61735-8
  • Online ISBN 978-3-540-70672-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment