<p>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.</p><p>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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Practical Aspects of Declarative Languages

摘要

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.