Practical aspects of declarative languages : ; proceedings 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic,...
Salvato in:
| Autore principale: | |
|---|---|
| Ente Autore: | |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
3057 |
| Soggetti: | |
| Accesso online: | 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: | • Practical aspects of declarative languages, 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Bharat Jayaraman (ed.), Berlin, Springer, 2004, 1 vol. (VIII-254 p.), Lecture notes in computer science, 3-540-22253-7 • Practical Aspects of Declarative Languages, Texte imprimé, 9783662173664 |
| LEADER | 05002nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 972731 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155229125 | ||
| 020 | |a 9783540248361 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.2 | ||
| 100 | 1 | |a Jayaraman, Bharat. | |
| 245 | 1 | 0 | |a Practical aspects of declarative languages : ; proceedings |b 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 |c [edited by] Bharat Jayaraman. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3057 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a An Algebraic Theory of Polymorphic Temporal Media -- Supporting Decisions in Complex, Uncertain Domains with Declarative Languages -- A Typeful Approach to Object-Oriented Programming with Multiple Inheritance -- Compositional Model-Views with Generic Graphical User Interfaces -- An Implementation of Session Types -- UUXML: A Type-Preserving XML Schema Haskell Data Binding -- Improved Compilation of Prolog to C Using Moded Types and Determinism Information -- A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) -- Pruning in the Extended Andorra Model -- USA-Smart: Improving the Quality of Plans in Answer Set Planning -- : A System for Reasoning about Answer Set Programs in Prolog -- Simplifying Dynamic Programming via Tabling -- Symbolic Execution of Behavioral Requirements -- Observing Functional Logic Computations -- Parametric Fortran A Program Generator for Customized Generic Fortran Extensions -- Typing XHTML Web Applications in ML -- Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. | |
| 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 | ||
| 520 | |a The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web, telecommunications software, etc. The 6th PADL Symposium was held in Dallas, Texas on June 18 19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. The ?rst was given by Paul Hudak (Yale University) on An Algebraic Theory of Polymorphic T- poral Media. The second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the Most Practical - per award. | ||
| 650 | |a Programmation déclarative | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation |x sémantique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 711 | 2 | |a PADL 2004 |n (6 |d :2004 |c :Dallas, Tex.). |4 aut | |
| 776 | 0 | |0 080232825 |t Practical aspects of declarative languages |o 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 |f Bharat Jayaraman (ed.) |c Berlin |n Springer |d 2004 |p 1 vol. (VIII-254 p.) |s Lecture notes in computer science |z 3-540-22253-7 | |
| 776 | 0 | |t Practical Aspects of Declarative Languages |b Texte imprimé |z 9783662173664 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b98355 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-T9Z6VBFM-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750633522 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b98355 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753989891 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b98355 |z Accès INSA CVL | |
| 997 | |0 972731 |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/ | ||