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

Practical Aspects of Declarative Languages: 27th International Symposium, Padl 2025, Denver, Co, Usa, January 20-21, 2025, Proceedings
  • 出版商: Springer
  • 出版日期: 2025-03-18
  • 售價: $2,890
  • 貴賓價: 9.5 折 $2,746
  • 語言: 英文
  • 頁數: 249
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 303184923X
  • ISBN-13: 9783031849237
  • 相關分類: Functional-programming

    • 海外代購書籍(需單獨結帳)

商品描述

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）的新應用、語言擴展、執行時監控、程式轉換、類型檢查，以及宣告式程式設計技術在人工智慧和機器學習中的應用等。

類似商品