Principles and Practice of Declarative Programming International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1999.
|
| Edition: | 1st ed. 1999. |
| Series: | Lecture Notes in Computer Science,
1702 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- C--: A Portable Assembly Language that Supports Garbage Collection
- On Formalised Proofs of Termination of Recursive Functions
- Argument Filtering Transformation
- A Primitive Calculus for Module Systems
- Non-dependent Types for Standard ML Modules
- Constraint Programming in OPL
- Compiling Constraint Handling Rules into Prolog with Attributed Variables
- Parallel Execution Models for Constraint Programming over Finite Domains
- Functional Plus Logic Programming with Built-In and Symbolic Constraints
- A Calculus for Interaction Nets
- Distributed Programming in a Multi-Paradigm Declarative Language
- Logical and Meta-Logical Frameworks
- A Simple and General Method for Integrating Abstract Interpretation in SICStus
- Run Time Type Information in Mercury
- A Virtual Machine for a Process Calculus
- Optimising Bytecode Emulation for Prolog
- OPENLOG: A Logic Programming Language Based on Abduction
- An Operational Semantics of Starlog
- On the Verification of Finite Failure
- Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices
- Modular Termination Proofs for Prolog with Tabling
- Declarative Program Transformation: A Deforestation Case-Study
- A Semantic Account of Type-Directed Partial Evaluation
- A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs
- Widening Sharing.
