Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Nonfiction, Computers, Programming, Programming Languages, General Computing
Cover of the book Practical Aspects of Declarative Languages by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319733050
Publisher: Springer International Publishing Publication: January 2, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319733050
Publisher: Springer International Publishing
Publication: January 2, 2018
Imprint: Springer
Language: English

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. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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. 

More books from Springer International Publishing

Cover of the book Hard X-ray Photoelectron Spectroscopy (HAXPES) by
Cover of the book Rethinking the Clinical Gaze by
Cover of the book Algorithms and Architectures for Parallel Processing by
Cover of the book How Digital Communication Technology Shapes Markets by
Cover of the book Statistical Language and Speech Processing by
Cover of the book Impact of Circular Migration on Human, Political and Civil Rights by
Cover of the book Claiming Space for Australian Women’s Writing by
Cover of the book Partial Least Squares Structural Equation Modeling by
Cover of the book Agile Anywhere by
Cover of the book Life Cycle Assessment (LCA) and Life Cycle Analysis in Tourism by
Cover of the book Image Analysis and Recognition by
Cover of the book The Gülen Movement by
Cover of the book Handbook on the Neuropsychology of Aging and Dementia by
Cover of the book Pedagogies in the Flesh by
Cover of the book Redox-Active Therapeutics by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy