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

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

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-61735-3
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace