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

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

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 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
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace