Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
tarafından
 
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

Başlık
Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Yazar
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

ISBN
9783319733050

Edisyon
1st ed. 2018.

Fiziksel Niteleme
XIV, 203 p. 56 illus. online resource.

Seri
Programming and Software Engineering ; 10702

İçindekiler
Functional programming -- Constraint programming and business rules -- Prolog and optimization -- Answer set programming.

Özet
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages. The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming. .

Konu Başlığı
Computer science.
 
Logic design.
 
Software engineering.
 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
 
Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010
 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Yazar Ek Girişi
Calimeri, Francesco.
 
Hamlen, Kevin.
 
Leone, Nicola.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-319-73305-0


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book222814-1001QA76.7 -76.73Springer E-Book Collection