Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Catuscia Palamidessi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hugh Glaser
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Karl Meinke
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Logic programming and model checking

    • Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan et al.
    Pages 1-20

  3. CAT: The Copying Approach to Tabling

    • Bart Demoen, Konstantinos Sagonas
    Pages 21-35

  4. SICStus MT—A multithreaded execution environment for SICStus Prolog

    • Jesper Eskilson, Mats Carlsson
    Pages 36-53

  5. A framework for bottom up specialisation of logic programs

    • Wim Vanhoof, Danny De Schreye, Bern Martens
    Pages 54-72

  6. Termination of logic programs with block declarations running in several modes

    • Jan-Georg Smaus, Pat Hill, Andy King
    Pages 73-88

  7. The Boolean logic of set sharing analysis

    • Michael Codish, Harald Søndergaard
    Pages 89-101

  8. Derivation of proof methods by abstract interpretation

    • Giorgio Levi, Paolo Volpe
    Pages 102-117

  9. Detecting unsolvable queries for definite logic programs

    • Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
    Pages 118-133

  10. Staging static analyses using abstraction-based program specialization

    • John Hatcliff, Matthew Dwyer, Shawn Laubach
    Pages 134-151

  11. An experiment in domain refinement: Type domains and type representations for logic programs

    • Giorgio Levi, Fausto Spoto
    Pages 152-169

  12. Architecture software using: A methodology for language development

    • Charles Consel, Renaud Marlet
    Pages 170-194

  13. Explicit substitutions for objects and functions

    • Delia Kesner, Pablo E. Martínez López
    Pages 195-212

  14. The complexity of late-binding in dynamic object-oriented languages

    • Enrico Pontelli, Desh Ranjan, Gopal Gupta
    Pages 213-229

  15. A compiler for rewrite programs in associative-commutative theories

    • Pierre-Etienne Moreau, Hélène Kirchner
    Pages 230-249

  16. Solution to the problem of Zantema on a persistent property of term rewriting systems

    • Takahito Aoto
    Pages 250-265

  17. A general framework for R-unification problems

    • Sébastien Limet, Frédéric Saubion
    Pages 266-281

  18. Operational versus denotational methods in the semantics of higher order languages

    • Andrew M. Pitts
    Pages 282-283

  19. Functional implementations of continuous modeled animation

    • Conal Elliott
    Pages 284-299

  20. Compiling Erlang to Scheme

    • Marc Feeley, Martin Larose
    Pages 300-317
Back to top

Other volumes

  1. Principles of Declarative Programming

  2. Principles of Declarative Programming

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation