Practical Aspects of Declarative Languages: 27th International Symposium, Padl 2025, Denver, Co, Usa, January 20-21, 2025, Proceedings
暫譯: 宣告式語言的實務面向：第27屆國際研討會 PADL 2025，2025年1月20-21日，科羅拉多州丹佛市，會議論文集
Erdem, Esra, Vidal, Germán
- 出版商: Springer
- 出版日期: 2025-03-18
- 售價: $2,990
- 貴賓價: 9.5 折 $2,841
- 語言: 英文
- 頁數: 249
- 裝訂: Quality Paper - also called trade paper
- ISBN: 303184923X
- ISBN-13: 9783031849237
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20-21, 2025.
The 15 full papers included in this book were carefully reviewed and selected from 26 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.
商品描述(中文翻譯)
本書為第27屆國際宣告式語言實務方面研討會（PADL 2025）的經過審核的會議論文集，該會議於2025年1月20日至21日在美國科羅拉多州丹佛市舉行。
本書收錄的15篇完整論文是從26篇投稿中仔細審核並選出的。接受的論文涵蓋了與函數式和邏輯程式設計相關的一系列主題，包括一些關於答案集程式設計（Answer Set Programming）的新應用、語言擴展、執行時監控、程式轉換、類型檢查，以及宣告式程式設計技術在人工智慧和機器學習中的應用等。
