國立虎尾科技大學 |

Practical Aspects of Declarative Languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Practical Aspects of Declarative Languages/ edited by Ekaterina Komendantskaya, Yanhong Annie Liu.
其他題名:	22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings /
其他作者:	Liu, Yanhong Annie.
面頁冊數:	XXVI, 223 p. 387 illus., 195 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Programming Techniques. -
電子資源:	https://doi.org/10.1007/978-3-030-39197-3
ISBN:	9783030391973

Practical Aspects of Declarative Languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings /
Practical Aspects of Declarative Languages22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings /[electronic resource] :edited by Ekaterina Komendantskaya, Yanhong Annie Liu. - 1st ed. 2020. - XXVI, 223 p. 387 illus., 195 illus. in color.online resource. - Programming and Software Engineering ;12007. - Programming and Software Engineering ;8987.

Logical Engines and Applications -- Interactive Text Graph Mining with a Prolog-based Dialog Engine -- Flexible graph matching and graph edit distance using answer set programming -- On Repairing Web Services Workflows -- Answer Set Programming Systems -- AQuA: ASP-based Visual Question Answering -- Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report -- VRASP: A Virtual Reality Environment for Learning Answer Set Programming -- Memory and Real-Time in Functional Programming -- On the Effects of Integrating Region-based Memory Management and Generational Garbage Collection in ML -- RTMLton: An SML runtime for real-time systems -- A Timed IO monad -- Reasoning and Efficient Implementation -- Exploiting Database Systems and Treewidth for Counting -- Whitebox Induction of Default Rules Using High-Utility Itemset Mining -- Small Languages and Implementation -- Explanations for Dynamic Programming -- A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams -- Variability-Aware Datalog.

This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020. The 10 full and 4 short papers were carefully reviewed and selected from 24 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: logical engines and applications; answer set programming systems; memory and real-time in functional programming; reasoning and efficient implementation; and small languages and implementation.

ISBN: 9783030391973

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

669781
Programming Techniques.

LC Class. No.: QA76.7-76.73

Dewey Class. No.: 005.13

Practical Aspects of Declarative Languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings /
LDR:03333nam a22004335i 4500 001 1018498
003 DE-He213
005 20200702005944.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030391973 $9 978-3-030-39197-3
024 7 $a 10.1007/978-3-030-39197-3 $2 doi
035 $a 978-3-030-39197-3
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 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings / $c edited by Ekaterina Komendantskaya, Yanhong Annie Liu.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XXVI, 223 p. 387 illus., 195 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 12007
505 0 $a Logical Engines and Applications -- Interactive Text Graph Mining with a Prolog-based Dialog Engine -- Flexible graph matching and graph edit distance using answer set programming -- On Repairing Web Services Workflows -- Answer Set Programming Systems -- AQuA: ASP-based Visual Question Answering -- Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report -- VRASP: A Virtual Reality Environment for Learning Answer Set Programming -- Memory and Real-Time in Functional Programming -- On the Effects of Integrating Region-based Memory Management and Generational Garbage Collection in ML -- RTMLton: An SML runtime for real-time systems -- A Timed IO monad -- Reasoning and Efficient Implementation -- Exploiting Database Systems and Treewidth for Counting -- Whitebox Induction of Default Rules Using High-Utility Itemset Mining -- Small Languages and Implementation -- Explanations for Dynamic Programming -- A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams -- Variability-Aware Datalog.
520 $a This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020. The 10 full and 4 short papers were carefully reviewed and selected from 24 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: logical engines and applications; answer set programming systems; memory and real-time in functional programming; reasoning and efficient implementation; and small languages and implementation.
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Artificial Intelligence. $3 646849
650 1 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 0 $a Computer programming. $3 527822
650 0 $a Computers. $3 565115
650 0 $a Artificial intelligence. $3 559380
650 0 $a Programming languages (Electronic computers). $3 1127615
700 1 $a Liu, Yanhong Annie. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1313506
700 1 $a Komendantskaya, Ekaterina. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1313505
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030391966
776 0 8 $i Printed edition: $z 9783030391980
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-39197-3
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)