Advertisement

Principles of Declarative Programming

10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

  • Editors
  • Catuscia Palamidessi
  • Hugh Glaser
  • Karl Meinke
Conference proceedings ALP 1998, PLILP 1998

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1490)

Table of contents

  1. Front Matter
  2. Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan et al.
    Pages 1-20
  3. Bart Demoen, Konstantinos Sagonas
    Pages 21-35
  4. Wim Vanhoof, Danny De Schreye, Bern Martens
    Pages 54-72
  5. Michael Codish, Harald Søndergaard
    Pages 89-101
  6. Giorgio Levi, Paolo Volpe
    Pages 102-117
  7. Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
    Pages 118-133
  8. John Hatcliff, Matthew Dwyer, Shawn Laubach
    Pages 134-151
  9. Charles Consel, Renaud Marlet
    Pages 170-194
  10. Delia Kesner, Pablo E. Martínez López
    Pages 195-212
  11. Enrico Pontelli, Desh Ranjan, Gopal Gupta
    Pages 213-229
  12. Pierre-Etienne Moreau, Hélène Kirchner
    Pages 230-249
  13. Sébastien Limet, Frédéric Saubion
    Pages 266-281
  14. Marc Feeley, Martin Larose
    Pages 300-317
  15. Silvia Breitinger, Ulrike Klusik, Rita Loogen
    Pages 318-334
  16. John Hannan
    Pages 353-354
  17. Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet
    Pages 355-373
  18. Michael Hanus, Frank Steiner
    Pages 374-390
  19. James Lipton, Robert McGrail
    Pages 391-410
  20. John G. Cleary, Lunjin Lu
    Pages 411-426
  21. Andrea Asperti
    Pages 427-428
  22. P. Arenas-Sánchez, F. J. López-Fraguas, M. Rodríguez-Artalejo
    Pages 429-444
  23. Joseph Goguen, Grant Malcolm, Tom Kemp
    Pages 445-462
  24. Back Matter

Other volumes

  1. Principles of Declarative Programming
    10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings
  2. Principles of Declarative Programming
    10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on Algebraic and Logic Programming, ALP'98, in Pisa, Italy, in September 1998.
The 26 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Also included are two invited papers and abstracts of two tutorials. The papers are organized in topical sections on verification, logic programming, static analysis, software methodologies, object oriented programming, term rewriting, functional programming, metaprogramming, optimal evaluation, integration, and constraint solving.

Keywords

Algebraic Programming Compiler Erlang Implmentations Java Logic Programming Program Semantics Programming Languages complexity functional programming model checking programming programming language semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0056603
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65012-6
  • Online ISBN 978-3-540-49766-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site