LEADER 03549nam 22006375 450 001 9910337564803321 005 20251225190542.0 010 $a3-030-05998-7 024 7 $a10.1007/978-3-030-05998-9 035 $a(CKB)4100000007335125 035 $a(DE-He213)978-3-030-05998-9 035 $a(MiAaPQ)EBC5925016 035 $a(PPN)232963991 035 $a(EXLCZ)994100000007335125 100 $a20181218d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPractical Aspects of Declarative Languages $e21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /$fedited by José Júlio Alferes, Moa Johansson 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (X, 239 p. 1000 illus., 37 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11372 311 08$a3-030-05997-9 327 $aStrong Equivalence and Program's Structure in Arguing Essential Equivalence between First-Order Logic Programs -- Automatic Program Rewriting in Non-Ground Answer Set Programs -- Personalized Course Schedule Planning using Answer Set Programming -- An ASP-based Approach to Representing and Querying Textual Knowledge -- Natural Language Generation From Ontologies -- Improving Residuation in Declarative Programs -- Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP -- A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers -- Faster Coroutine Pipelines: A Reconstruction -- Classes of Arbitrary Kind -- Distributed Protocol Combinators -- Composing Syntactical Constructs to Create Domain-Specific Languages -- Proof Carrying Plans -- Static Partitioning of Spreadsheets for Parallel Execution. . 330 $aThis book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages,PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including logic, constraint, and functional languages. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11372 606 $aCompilers (Computer programs) 606 $aArtificial intelligence 606 $aComputer science 606 $aComputer networks 606 $aCompilers and Interpreters 606 $aArtificial Intelligence 606 $aTheory of Computation 606 $aComputer Communication Networks 615 0$aCompilers (Computer programs). 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aComputer networks. 615 14$aCompilers and Interpreters. 615 24$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aComputer Communication Networks. 676 $a303.4833 676 $a005.13 702 $aAlferes$b José Júlio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJohansson$b Moa$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910337564803321 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNINA