Practical aspects of declarative languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 : proceedings
This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages. The 17 revised papers presente...
Wedi'i Gadw mewn:
| Awduron Eraill: | |
|---|---|
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Rhifyn: | 1st ed. 2013. |
| Cyfres: | Programming and Software Engineering
7752 |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
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, Texte imprimé, 9783642452833 • Practical Aspects of Declarative Languages, Texte imprimé, 9783642452857 |
Tabl Cynhwysion:
- A Library for Declarative Resolution-Independent 2D Graphics Analysing the Entire Wikipedia History with Database Supported Haskell LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction Supporting Pruning in Tabled LP A Portable and Efficient Implementation of Coinductive Logic Programming Formalizing a Broader Recursion Coverage in SQL A Declarative-Friendly API for Web Document Manipulation Implementing Equational Constraints in a Functional Language On the Efficient Implementation of Mode-Directed Tabling The Generalized Intensional Transformation for Implementing Lazy Functional Languages Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs Integrative Functional Statistics in Logic Programming Reversible Language Extensions and Their Application in Debugging proSQLite: Prolog File Based Databases via an SQLite Interface Dependently Typed Web Client Applications: FRP in Agda in HTML5 Parallel Performance of Declarative Programming Using a PGAS Model