國立虎尾科技大學 |

Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Practical Aspects of Declarative Languages/ edited by José F. Morales, Dominic Orchard.
Reminder of title:	23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
other author:	Morales, José F.
Description:	IX, 179 p. 52 illus., 18 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer software. -
Online resource:	https://doi.org/10.1007/978-3-030-67438-0
ISBN:	9783030674380

Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
Practical Aspects of Declarative Languages23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /[electronic resource] :edited by José F. Morales, Dominic Orchard. - 1st ed. 2021. - IX, 179 p. 52 illus., 18 illus. in color.online resource. - Programming and Software Engineering ;12548. - Programming and Software Engineering ;8987.

Foundations and Programming Concepts -- Applications of Declarative Languages -- Declarative Approaches to Testing and Debugging.

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

ISBN: 9783030674380

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

528062
Computer software.

LC Class. No.: QA76.75-.765

Dewey Class. No.: 004

Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
LDR:02340nam a22004095i 4500 001 1052015
003 DE-He213
005 20210826202922.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030674380 $9 978-3-030-67438-0
024 7 $a 10.1007/978-3-030-67438-0 $2 doi
035 $a 978-3-030-67438-0
050 4 $a QA76.75-.765
072 7 $a U $2 bicssc
072 7 $a COM000000 $2 bisacsh
072 7 $a UX $2 thema
082 0 4 $a 004 $2 23
245 1 0 $a Practical Aspects of Declarative Languages $h [electronic resource] : $b 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / $c edited by José F. Morales, Dominic Orchard.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a IX, 179 p. 52 illus., 18 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 12548
505 0 $a Foundations and Programming Concepts -- Applications of Declarative Languages -- Declarative Approaches to Testing and Debugging.
520 $a This 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.
650 0 $a Computer software. $3 528062
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Special purpose computers. $3 1204562
650 0 $a Computer communication systems. $3 1115394
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer programming. $3 527822
650 1 4 $a Professional Computing. $3 1115983
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Programming Techniques. $3 669781
700 1 $a Morales, José F. $e editor. $1 https://orcid.org/0000-0001-9782-8135 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1356633
700 1 $a Orchard, Dominic. $e editor. $1 https://orcid.org/0000-0002-7058-7842 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1356634
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030674373
776 0 8 $i Printed edition: $z 9783030674397
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-67438-0
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)