國立虎尾科技大學 |

Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Practical aspects of declarative languages/ edited by Yuliya Lierler, Walid Taha.
Reminder of title:	19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
remainder title:	PADL 2017
other author:	Lierler, Yuliya.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2017.,
Description:	x, 215 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Declarative programming languages - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-51676-9
ISBN:	9783319516769

Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
Practical aspects of declarative languages19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /[electronic resource] :PADL 2017edited by Yuliya Lierler, Walid Taha. - Cham :Springer International Publishing :2017. - x, 215 p. :ill., digital ;24 cm. - Lecture notes in computer science,101370302-9743 ;. - Lecture notes in computer science ;6140..

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.

ISBN: 9783319516769

Standard No.: 10.1007/978-3-319-51676-9doiSubjects--Topical Terms:

784010
Declarative programming languages
--Congresses.

LC Class. No.: QA76.615 / .P33 2017

Dewey Class. No.: 005.13

Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
LDR:01710nam a2200349 a 4500 001 957705
003 DE-He213
005 20161216090543.0
006 m d
007 cr nn 008maaau
008 201118s2017 gw s 0 eng d
020 $a 9783319516769 $q (electronic bk.)
020 $a 9783319516752 $q (paper)
024 7 $a 10.1007/978-3-319-51676-9 $2 doi
035 $a 978-3-319-51676-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.615 $b .P33 2017
072 7 $a UMX $2 bicssc
072 7 $a UMC $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a COM010000 $2 bisacsh
082 0 4 $a 005.13 $2 23
090 $a QA76.615 $b .P123 2017
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Practical aspects of declarative languages $h [electronic resource] : $b 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings / $c edited by Yuliya Lierler, Walid Taha.
246 3 $a PADL 2017
260 $a Cham : $c 2017. $b Springer International Publishing : $b Imprint: Springer,
300 $a x, 215 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10137
520 $a This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.
650 0 $a Declarative programming languages $v Congresses. $3 784010
650 0 $a Declarative programming $v Congresses. $3 785736
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 593924
650 2 4 $a Computer Appl. in Administrative Data Processing. $3 669633
700 1 $a Lierler, Yuliya. $3 1226863
700 1 $a Taha, Walid. $3 1225868
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-51676-9
950 $a Computer Science (Springer-11645)