Principles and practice of declarative programming : International Conference, PPDP 99, Paris, France, September, 29 - October 1, 1999 : proceedings
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
1702 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |
| LEADER | 03806nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 969258 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15517049X | ||
| 020 | |a 9783540481645 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Principles and practice of declarative programmin |n (01 |d :1999 |c :Paris). | |
| 245 | 1 | 0 | |a Principles and practice of declarative programming : |b International Conference, PPDP 99, Paris, France, September, 29 - October 1, 1999 : proceedings |c [edited by] Gopalan Nadathur. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1702 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Programmation déclarative | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Nadathur, Gopalan, |d 1956- |4 pbd | |
| 776 | 0 | |0 046539344 |t Principles and practice of declarative programming |o International Conference PPDP'99, Paris, France, September-October 1999 |o proceedings |f Gopalan Nadathur (ed.) |d 1999 |c New York |n Springer |p 1 vol. (X-434 p.) |s Lecture notes in computer science |z 3-540-66540-4 | |
| 776 | 0 | |t Principles and Practice of Declarative Programming |b Texte imprimé |z 9783662211366 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/10704567 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-N61C5J79-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750603178 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/10704567 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753963426 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/10704567 |z Accès INSA CVL | |
| 997 | |0 969258 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||