000 03593nam a22005775i 4500
001 978-3-030-05998-9
003 DE-He213
005 20240730170754.0
007 cr nn 008mamaa
008 181218s2019 sz | s |||| 0|eng d
020 _a9783030059989
_9978-3-030-05998-9
024 7 _a10.1007/978-3-030-05998-9
_2doi
050 4 _aQA76.76.C65
072 7 _aUMC
_2bicssc
072 7 _aCOM010000
_2bisacsh
072 7 _aUMC
_2thema
082 0 4 _a005.45
_223
245 1 0 _aPractical Aspects of Declarative Languages
_h[electronic resource] :
_b21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
_cedited by José Júlio Alferes, Moa Johansson.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aX, 239 p. 1000 illus., 37 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11372
505 0 _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. .
520 _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.
650 0 _aCompilers (Computer programs).
_93350
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer science.
_99832
650 0 _aComputer networks .
_931572
650 1 4 _aCompilers and Interpreters.
_931853
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aTheory of Computation.
_995204
650 2 4 _aComputer Communication Networks.
_995206
700 1 _aAlferes, José Júlio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_995207
700 1 _aJohansson, Moa.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_995208
710 2 _aSpringerLink (Online service)
_995210
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030059972
776 0 8 _iPrinted edition:
_z9783030059996
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11372
_995211
856 4 0 _uhttps://doi.org/10.1007/978-3-030-05998-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c87157
_d87157