Principles and practice of declarative programming : International Conference, PPDP 99, Paris, France, September, 29 - October 1, 1999 : proceedings
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1702 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Principles and practice of declarative programming, International Conference PPDP'99, Paris, France, September-October 1999, proceedings, Gopalan Nadathur (ed.), 1999, New York, Springer, 1 vol. (X-434 p.), Lecture notes in computer science, 3-540-66540-4 • Principles and Practice of Declarative Programming, Texte imprimé, 9783662211366 |
Table des matières:
- 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.