LEADER 02391oam 2200469 450 001 996464441903316 005 20210618182537.0 010 $a3-030-67438-X 024 7 $a10.1007/978-3-030-67438-0 035 $a(CKB)4100000011716968 035 $a(DE-He213)978-3-030-67438-0 035 $a(MiAaPQ)EBC6458044 035 $a(PPN)25325311X 035 $a(EXLCZ)994100000011716968 100 $a20210618d2021 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPractical aspects of declarative languages $e23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings /$fJosé F. Morales, Dominic Orchard (editors) 205 $a1st ed. 2021. 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$d©2021 215 $a1 online resource (IX, 179 p. 52 illus., 18 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v12548 311 $a3-030-67437-1 327 $aFoundations and Programming Concepts -- Applications of Declarative Languages -- Declarative Approaches to Testing and Debugging. 330 $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. 410 0$aProgramming and Software Engineering ;$v12548 606 $aDeclarative programming languages$vCongresses 615 0$aDeclarative programming languages 676 $a005.131 702 $aMorales$b José F. 702 $aOrchard$b Dominic 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996464441903316 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNISA