Skip to main content
Springer Nature Link
Log in

Principles and Practice of Declarative Programming

International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Gopalan Nadathur

    1. Digital Technology Center and Dept of CS, University of Minnesota,  

    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 1702)

Included in the following conference series:

Conference proceedings info: PPDP 1999.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
Softcover Book USD 54.99
Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  2. C-— : A Portable Assembly Language that Supports Garbage Collection

    • Simon Peyton Jones, Norman Ramsey, Fermin Reig
    Pages 1-28

  3. On Formalised Proofs of Termination of Recursive Functions

    • Fairouz Kamareddine, François Monin
    Pages 29-46

  4. Argument Filtering Transformation

    • Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
    Pages 47-61

  5. A Primitive Calculus for Module Systems

    • Davide Ancona, Elena Zucca
    Pages 62-79

  6. Non-dependent Types for Standard ML Modules

    • Claudio V. Russo
    Pages 80-97

  7. Constraint Programming in OPL

    • P. Van Hentenryck, L. Michel, L. Perron, J. -C. Régin
    Pages 98-116

  8. Compiling Constraint Handling Rules into Prolog with Attributed Variables

    • Christian Holzbaur, Thom Frühwirth
    Pages 117-133

  9. Parallel Execution Models for Constraint Programming over Finite Domains

    • Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz, José Ruz
    Pages 134-151

  10. Functional Plus Logic Programming with Built-In and Symbolic Constraints

    • P. Arenas-Sánchez, F. J. López-Fraguas, M. Rodríguez-Artalejo
    Pages 152-169

  11. A Calculus for Interaction Nets

    • Maribel Fernández, Ian Mackie
    Pages 170-187

  12. Distributed Programming in a Multi-Paradigm Declarative Language

    • Michael Hanus
    Pages 188-205

  13. Logical and Meta-Logical Frameworks

    • Frank Pfenning
    Pages 206-206

  14. A Simple and General Method for Integrating Abstract Interpretation in SICStus

    • Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti
    Pages 207-223

  15. Run Time Type Information in Mercury

    • Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery
    Pages 224-243

  16. A Virtual Machine for a Process Calculus

    • Luís Lopes, Fernando Silva, Vasco T. Vasconcelos
    Pages 244-260

  17. Optimising Bytecode Emulation for Prolog

    • Vítor Santos Costa
    Pages 261-277

  18. OPENLOG: A Logic Programming Language Based on Abduction

    • Jacinto A. Dávila
    Pages 278-293

  19. An Operational Semantics of Starlog

    • Lunjin Lu, John G. Cleary
    Pages 294-310

  20. On the Verification of Finite Failure

    • Roberta Gori, Giorgio Levi
    Pages 311-327
Back to top

Editors and Affiliations

  • Digital Technology Center and Dept of CS, University of Minnesota,  

    Gopalan Nadathur

Bibliographic Information

Publish with us

Policies and ethics

Back to top