國立虎尾科技大學 |

Practical Aspects of Declarative Languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Practical Aspects of Declarative Languages/ edited by José Júlio Alferes, Moa Johansson.
Reminder of title:	21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
other author:	Alferes, José Júlio.
Description:	X, 239 p. 1000 illus., 37 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Programming languages (Electronic computers). -
Online resource:	https://doi.org/10.1007/978-3-030-05998-9
ISBN:	9783030059989

Practical Aspects of Declarative Languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
Practical Aspects of Declarative Languages21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /[electronic resource] :edited by José Júlio Alferes, Moa Johansson. - 1st ed. 2019. - X, 239 p. 1000 illus., 37 illus. in color.online resource. - Programming and Software Engineering ;11372. - Programming and Software Engineering ;8987.

Strong 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. .

This 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.

ISBN: 9783030059989

Standard No.: 10.1007/978-3-030-05998-9doiSubjects--Topical Terms:

1127615
Programming languages (Electronic computers).

LC Class. No.: QA76.7-76.73

Dewey Class. No.: 005.13

Practical Aspects of Declarative Languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
LDR:02876nam a22004335i 4500 001 1010020
003 DE-He213
005 20200703083649.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030059989 $9 978-3-030-05998-9
024 7 $a 10.1007/978-3-030-05998-9 $2 doi
035 $a 978-3-030-05998-9
050 4 $a QA76.7-76.73
050 4 $a QA76.76.C65
072 7 $a UMX $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a UMX $2 thema
072 7 $a UMC $2 thema
082 0 4 $a 005.13 $2 23
245 1 0 $a Practical Aspects of Declarative Languages $h [electronic resource] : $b 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / $c edited by José Júlio Alferes, Moa Johansson.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a X, 239 p. 1000 illus., 37 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 11372
505 0 $a Strong 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 $a This 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 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computers. $3 565115
650 1 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Information Systems and Communication Service. $3 669203
700 1 $a Alferes, José Júlio. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1304041
700 1 $a Johansson, Moa. $e editor. $1 https://orcid.org/0000-0002-1097-8278 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1273587
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030059972
776 0 8 $i Printed edition: $z 9783030059996
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-05998-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)