國立虎尾科技大學 |

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:	Programming languages (Electronic computers). -
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,125482945-9168 ;. - Programming and Software Engineering,12857.

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:

1127615
Programming languages (Electronic computers).

LC Class. No.: QA76.7-.73

Dewey Class. No.: 005.13

Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
LDR:02356nam a22004095i 4500 001 1059216
003 DE-He213
005 20220311223352.0
007 cr nn 008mamaa
008 220414s2021 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.7-.73
072 7 $a UMX $2 bicssc
072 7 $a COM000000 $2 bisacsh
072 7 $a UMX $2 thema
082 0 4 $a 005.13 $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, $x 2945-9168 ; $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 Programming languages (Electronic computers). $3 1127615
650 0 $a Computer systems. $3 559862
650 0 $a Computers, Special purpose. $3 1069426
650 0 $a Computer networks . $3 1365720
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer programming. $3 527822
650 1 4 $a Programming Language. $3 1365750
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, $x 2945-9168 ; $v 12857 $3 1365731
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)