Practical Aspects of Declarative Languages: 28th International Symposium, Padl 2026, Rennes, France, January 12-13, 2026, Proceedings
暫譯: 宣告式語言的實務面向：第28屆國際研討會 PADL 2026，法國雷恩，2026年1月12-13日，會議論文集
Amin, Nada, Arias, Joaquín
- 出版商: Springer
- 出版日期: 2026-01-12
- 售價: $2,960
- 貴賓價: 9.5 折 $2,812
- 語言: 英文
- 頁數: 219
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032159806
- ISBN-13: 9783032159809
-
相關分類:
Functional-programming
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.
The 11 full papers and one short paper included in this book were carefully reviewed and selected from 24 submissions. The accepted papers span a range of topics related to functional and logic programming, including some novel applications of Answer Set Programming, language extensions, runtime monitoring, program transformations, type-checking, and applications of declarative programming techniques to artificial intelligence and machine learning, among others.
商品描述(中文翻譯)
本書為第28屆國際宣告式語言實務方面研討會（PADL 2026）的經過審核的會議論文集，該會議於2026年1月在法國雷恩舉行。
本書收錄的11篇完整論文和1篇短文均經過仔細審核和選擇，來自24篇投稿。接受的論文涵蓋了與函數式和邏輯程式設計相關的多個主題，包括一些關於答案集程式設計（Answer Set Programming）的新應用、語言擴展、執行時監控、程式轉換、類型檢查，以及宣告式程式設計技術在人工智慧和機器學習中的應用等。
