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

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

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-58402-1
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace