Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19 20, 2002 : proceedings
Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support sy...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
2257 |
| Hasła przedmiotowe: | |
| Dostęp 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 |
| Komentarz: |
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, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, Shriram Krishnamurthi, C.R. Ramakrishnan (eds.), Berlin, Springer, 2002, 1 vol. (VIII-349 p.), Lecture notes in computer science, 3-540-43092-X • Practical Aspects of Declarative Languages, Texte imprimé, 9783662207550 |
| LEADER | 05086nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 948962 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155201697 | ||
| 020 | |a 9783540455875 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Symposium on Practical Aspects of Declarative Languages |n (04 |d :2002 |c :Portland). | |
| 245 | 1 | 0 | |a Practical Aspects of Declarative Languages : |b 4th International Symposium, PADL 2002, Portland, OR, USA, January 19 20, 2002 : proceedings |c [edited by] Shriram Krishnamurthi, C. R. Ramakrishnan. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2257 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Talks -- Using a Declarative Language to Build an Experimental Analysis Tool -- How to Talk to Your Computer so that It Will Listen -- Single-Threaded Objects in ACL2 -- Regular Papers -- Modeling Engineering Structures with Constrained Objects -- Compiler Construction in Higher Order Logic Programming -- Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project -- Semantics-Based Filtering: Logic Programming s Killer App -- Linear Scan Register Allocation in a High-Performance Erlang Compiler -- Compiling Embedded Programs to Byte Code -- Typed Combinators for Generic Traversal -- Event-Driven FRP -- Adding Apples and Oranges -- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms -- A Better XML Parser through Functional Programming -- Functional Approach to Texture Generation -- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs -- A High-Level Generic Interface to External Programming Languages for ECLiPSe -- A Debugging Scheme for Declarative Equation Based Modeling Languages -- Segment Order Preserving and Generational Garbage Collection for Prolog -- Exploiting E.cient Control and Data Structures in Logic Programs -- Suspending and Resuming Computations in Engines for SLG Evaluation. | |
| 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 Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002. | ||
| 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 | ||
| 700 | 1 | |a Krishnamurthi, Shriram. |4 pbd | |
| 700 | 1 | |a Ramakrishnan, C. R. |4 pbd | |
| 776 | 0 | |0 068977247 |t Practical Aspects of Declarative Languages |o 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 |o Proceedings |f Shriram Krishnamurthi, C.R. Ramakrishnan (eds.) |c Berlin |n Springer |d 2002 |p 1 vol. (VIII-349 p.) |s Lecture notes in computer science |z 3-540-43092-X | |
| 776 | 0 | |t Practical Aspects of Declarative Languages |b Texte imprimé |z 9783662207550 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45587-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-BMTLQFVX-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748061401 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45587-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751512982 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45587-6 |z Accès INSA CVL | |
| 997 | |0 948962 |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/ | ||