Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings /: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings. (2020)

• Record Type: Book
• Further Information: Note: Edited by Ekaterina Komendantskaya, Yanhong Annie Liu.
• Editors: Komendantskaya, Ekaterina; Liu, Yanhong Annie
• Contents: Logical Engines and Applications -- Interactive Text Graph Mining with a Prolog-based Dialog Engine -- Flexible graph matching and graph edit distance using answer set programming -- On Repairing Web Services Workflows -- Answer Set Programming Systems -- AQuA: ASP-based Visual Question Answering -- Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report -- VRASP: A Virtual Reality Environment for Learning Answer Set Programming -- Memory and Real-Time in Functional Programming -- On the Effects of Integrating Region-based Memory Management and Generational Garbage Collection in ML -- RTMLton: An SML runtime for real-time systems -- A Timed IO monad -- Reasoning and Efficient Implementation -- Exploiting Database Systems and Treewidth for Counting -- Whitebox Induction of Default Rules Using High-Utility Itemset Mining -- Small Languages and Implementation -- Explanations for Dynamic Programming -- A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams -- Variability-Aware Datalog.
• Publisher Details: Cham : Springer International Publishing Imprint: Springer
• Publication Date: 2020
• Extent: 1 online resource
• Subjects: 005.131; Programming languages (Electronic computers); Artificial intelligence; Computers; Computer programming; Programming Languages, Compilers, Interpreters; Artificial Intelligence; Theory of Computation; Programming Techniques
• Languages: English
• ISBNs: 3030391973; 9783030391973
• 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.