Practical Aspects of Declarative Languages: 22nd International Symposium, Padl 2020, New Orleans, La, Usa, January 20-21, 2020, Proceedings
暫譯: 宣告式語言的實務面向：第22屆國際研討會 PADL 2020，2020年1月20-21日，美國路易斯安那州新奧爾良，會議論文集
Komendantskaya, Ekaterina, Liu, Yanhong Annie
- 出版商: Springer
- 出版日期: 2020-01-17
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 223
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030391965
- ISBN-13: 9783030391966
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.
The 10 full and 4 short papers were carefully reviewed and selected from 24 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: logical engines and applications; answer set programming systems; memory and real-time in functional programming; reasoning and efficient implementation; and small languages and implementation.
商品描述(中文翻譯)
本書是第22屆國際宣告式語言實務面向研討會（PADL 2020）的經過審核的會議論文集，該研討會於2020年1月在美國新奧爾良舉行。
這10篇完整論文和4篇短文從24篇投稿中經過仔細審核和選擇。這些論文展示了原創性工作，強調各種宣告式概念的新應用和實現技術，包括使用集合、函數、邏輯和約束的程式設計。論文按照以下主題分類：邏輯引擎與應用；答案集程式設計系統；功能程式設計中的記憶體與即時性；推理與高效實現；以及小型語言與實現。
