LEADER 03354nam  22007215  450 
001 9910484502203321
005 20251225173537.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   $a20210115d2021      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aPractical Aspects of Declarative Languages $e23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /$fedited by José F. Morales, Dominic Orchard
205   $a1st ed. 2021.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021.
215   $a1 online resource (IX, 179 p. 52 illus., 18 illus. in color.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12548
311 08$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,$x2945-9168 ;$v12548
606   $aProgramming languages (Electronic computers)
606   $aComputer systems
606   $aComputers, Special purpose
606   $aComputer networks
606   $aArtificial intelligence
606   $aComputer programming
606   $aProgramming Language
606   $aComputer System Implementation
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer Communication Networks
606   $aArtificial Intelligence
606   $aProgramming Techniques
615  0$aProgramming languages (Electronic computers).
615  0$aComputer systems.
615  0$aComputers, Special purpose.
615  0$aComputer networks.
615  0$aArtificial intelligence.
615  0$aComputer programming.
615 14$aProgramming Language.
615 24$aComputer System Implementation.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Communication Networks.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
676   $a005.131
702   $aMorales$b Jose F.
702   $aOrchard$b Dominic
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484502203321
996   $aPractical Aspects of Declarative Languages$9772495
997   $aUNINA