Practical aspects of declarative languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. (2019)
- Record Type:
- Book
- Title:
- Practical aspects of declarative languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. (2019)
- Main Title:
- Practical aspects of declarative languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
- Other Titles:
- PADL 2019
- Further Information:
- Note: José Júlio Alferes, Moa Johansson (eds.).
- Editors:
- Alferes, José Júlio
Johansson, Moa - Other Names:
- PADL (Symposium), 21st
- Contents:
- Strong Equivalence and Program's Structure in Arguing Essential Equivalence between First-Order Logic Programs.- Automatic Program Rewriting in Non-Ground Answer Set Programs.- Personalized Course Schedule Planning using Answer Set Programming.- An ASP-based Approach to Representing and Querying Textual Knowledge.- Natural Language Generation From Ontologies.- Improving Residuation in Declarative Programs.- Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP.- A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers.- Faster Coroutine Pipelines: A Reconstruction.- Classes of Arbitrary Kind.- Distributed Protocol Combinators.- Composing Syntactical Constructs to Create Domain-Specific Languages.- Proof Carrying Plans.- Static Partitioning of Spreadsheets for Parallel Execution.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2019
- Extent:
- 1 online resource (x, 239 pages), illustrations (some color)
- Subjects:
- 005.13
Declarative programming languages -- Congresses
Declarative programming -- Congresses
Electronic books - Languages:
- English
- ISBNs:
- 9783030059989
3030059987 - Related ISBNs:
- 9783030059972
- Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed January 9, 2019).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.382034
- Ingest File:
- 02_364.xml