Practical Aspects of Declarative Languages: 28th International Symposium, PADL 2026, Rennes, France, January...

— —

Nada Amin Joaquín Arias

Practical Aspects of Declarative Languages

Name: Practical Aspects of Declarative Languages
Price: 118.08 AUD
Availability: OutOfStock
ISBN: 9783032159809

28th International Symposium, PADL 2026, Rennes, France, January 12–13, 2026, Proceedings

Nada Amin, Joaquín Arias

$147.95 $118.08

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We will update you on expected arrival time to us. If this delay is too long, please let us know within 2 business days and we can give you options regarding cancelling or adjusting your order. More details on cancelling your order can be found in our Terms of Trade.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer Nature Switzerland AG
12 January 2026

Computing: general; Programming & scripting languages: general; Mathematical theory of computation; Expert & knowledge-based systems

Series: Lecture Notes in Computer Science

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.

Edited by: Nada Amin, Joaquín Arias
Imprint: Springer Nature Switzerland AG
Country of Publication: Switzerland
Dimensions: Height: 235mm, Width: 155mm,
ISBN: 9783032159809
ISBN 10: 3032159806
Series: Lecture Notes in Computer Science
Pages: 219
Publication Date: 12 January 2026
Audience: College/higher education , Further / Higher Education
Format: Paperback
Publisher's Status: Active

.- Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning. .- A One-Pass CPS Transform with Simulation on the Nose .- Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic .- Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi .- Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut. .- Multi-Configurable Search Rules in Prolog and Application to Testing. .- An Efficient Compiler for the IDP-Z3 Knowledge Base System. .- A Functional Logic Perspective on Indentation-Sensitive Parsing. .- Using Prolog to Translate Set Theory and B to SAT. .- REGAL: Extracting implicit rules in text using LLMs with logic program feedback. .- Declarative Debugging for Modern Networks. .- Solving hard combinatorial optimization problems with PyQASP.