Cargando…
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015. The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all f...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| Edición: | 1st ed. 2015. |
| Colección: | Programming and Software Engineering,
9131 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-19686-2 | ||
| 003 | DE-He213 | ||
| 005 | 20220311210407.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150513s2015 sz | s |||| 0|eng d | ||
| 020 | |a 9783319196862 |9 978-3-319-19686-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-19686-2 |2 doi | |
| 050 | 4 | |a QA76.76.C65 | |
| 072 | 7 | |a UMC |2 bicssc | |
| 072 | 7 | |a COM051010 |2 bisacsh | |
| 072 | 7 | |a UMC |2 thema | |
| 082 | 0 | 4 | |a 005.45 |2 23 |
| 245 | 1 | 0 | |a Practical Aspects of Declarative Languages |h [electronic resource] : |b 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / |c edited by Enrico Pontelli, Tran Cao Son. |
| 250 | |a 1st ed. 2015. | ||
| 264 | 1 | |a Cham : |b Springer International Publishing : |b Imprint: Springer, |c 2015. | |
| 300 | |a X, 149 p. 29 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Programming and Software Engineering, |x 2945-9168 ; |v 9131 | |
| 505 | 0 | |a Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using Transaction Logic -- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule -- Declaratively Solving Google Code Jam Problems with Picat -- Reactive Single-Page Applications with Dynamic Dataflow -- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry -- Implementation and Performance of Probabilistic Inference -- A Haskell Implementation of a Rule-Based Program Transformation for C Programs -- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization -- Programming Microcontrollers in OCaml: the OCaPICProject. | |
| 520 | |a This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015. The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all forms of declarative concepts, including, functional, logic, constraints, etc. | ||
| 650 | 0 | |a Compilers (Computer programs). | |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 1 | 4 | |a Compilers and Interpreters. |
| 650 | 2 | 4 | |a Programming Techniques. |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | |a Software Engineering. |
| 700 | 1 | |a Pontelli, Enrico. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Son, Tran Cao. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783319196879 |
| 776 | 0 | 8 | |i Printed edition: |z 9783319196855 |
| 830 | 0 | |a Programming and Software Engineering, |x 2945-9168 ; |v 9131 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-319-19686-2 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||