Table of contents

  1. Front Matter
  2. Catuscia Palamidessi
    Pages 1-2
  3. Takashi Chikayama, Tetsuro Fujise, Daigo Sekita
    Pages 25-39
  4. Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
    Pages 57-72
  5. Johan Bevemyr, Thomas Lindgren
    Pages 88-101
  6. Lutz H. Hamel, Joseph A. Goguen
    Pages 132-146
  7. Robert Glück, Morten Heine Sørensen
    Pages 165-181
  8. Lars Birkedal, Morten Welinder
    Pages 198-214
  9. Michele Bugliesi, Hasan M. Jamil
    Pages 215-229
  10. François Fages, Julian Fowler, Thierry Sola
    Pages 261-276
  11. Silvia Breitinger, Hendrik C. R. Lock
    Pages 277-291
  12. A. Brogi, A. Chiarelli, P. Mancarella, V. Mazzotta, D. Pedreschi, C. Renso et al.
    Pages 292-307
  13. Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto
    Pages 308-323
  14. Timo Metzemakers, Alain Miniussi, David Sherman, Robert Strandh
    Pages 324-339
  15. Manolis Gergatsoulis, Maria Katzouraki
    Pages 340-354
  16. Michael Hanus
    Pages 370-384
  17. Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco J. López-Fraguas
    Pages 385-399
  18. Gerda Janssens, Maurice Bruynooghe, Vincent Englebert
    Pages 400-414
  19. Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker
    Pages 432-446
  20. Feliks Kluźniak, Miroslawa Miłkowska
    Pages 449-450
  21. Odinaldo Rodrigues, Mario Benevides
    Pages 457-458
  22. F. Sáenz, W. Hans, J. J. Ruz, S. Winkler
    Pages 461-462
  23. Abdelkader Belkhir, Namick Nemouche
    Pages 463-464
  24. Andrei Mantsivoda
    Pages 467-468
  25. Back Matter

Other volumes

  1. Programming Language Implementation and Logic Programming
    6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  2. 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

About these proceedings


This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and program transformation; functional-logic programming; and program analysis and abstract interpretation.


Sleep compiler concurrency constraint constraint programming logic logic programming logisches Programmieren optimization parallelism program transformation programming programming language proving semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58402-5
  • Online ISBN 978-3-540-48695-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site