000 02836nam a2200421 i 4500
999 _c334766
_d334766
_x1
001 334766
003 ES-MaUEC
005 20230102114744.0
006 a|||| o|||| 10| 0
007 cr nn nnnaamaa
008 210115s2021 gw a o |1|| 0|eng d
020 _a9783030674380
024 7 _a10.1007/978-3-030-67438-0
_2doi
040 _aES-MaUEC
_bspa
_cES-MaUEC
_dES-MaUEC
050 4 _aQA76.7
_b2021 EB
245 0 0 _aPractical aspects of declarative languages :
_b23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
_cedited by José F Morales, Dominic Orchard
250 _aFirst edition 2021
264 1 _aCham, Switzerland
_bSpringer International Publising
_c2021
300 _a1 recurso en línea (IX, 179 páginas)
_b52 ilustraciones, 18 ilustraciones a color
336 _2rdacontent
_aTexto
_btxt
337 _2rdamedia
_aelectrónico
_bc
338 _2rdacarrier
_arecurso electrónico
_bcr
347 _atext file
_bPDF
_2rda
490 0 _aProgramming and Software Engineering
_v12548
505 0 _aFoundations and Programming Concepts -- Applications of Declarative Languages -- Declarative Approaches to Testing and Debugging.
520 3 _aThis book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021. The 10 full papers were carefully reviewed and selected from 21 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings: Foundations and Programming Concepts; Applications of Declarative Languages, and Declarative Approaches to Testing and Debugging. Due to the Corona pandemic PADL 2021 was held as a virtual event.
988 _aSpringer_Computer_2021
650 7 _2embne
_9678605
_aLenguajes de programación
_vCongresos y asambleas
650 7 _2embne
_aInformática
_vCongresos y asambleas
_9139268
700 1 _aMorales, José F
_eeditor literario
_0(orcid)0000-0001-9782-8135
_1https://orcid.org/0000-0001-9782-8135
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aOrchard, Dominic
_eeditor literario
_0(orcid)0000-0002-7058-7842
_1https://orcid.org/0000-0002-7058-7842
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-67438-0
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 _2lcc
_cLE
998 _b05/2021
_dz
_eb
_zSI