Practical Aspects of Declarative Languages

​Functional Programming.-&nbsp;RICE: An Optimizing Curry.-&nbsp;Program Synthesis Using Example Propagation.-&nbsp;Embedding Functional Logic Programming in Haskell via a Compiler Plugin.-&nbsp;Execution Time Program Verification With Tight Bounds.-&nbsp;Fluo: A Domain-Specific Language for Experiments in Fluorescence<div>Microscopy (Application Paper).-&nbsp;Logic Programming.-&nbsp;Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid&nbsp;Answer Set Programming (Application Paper).-&nbsp;Integrating ASP-based incremental reasoning in the videogame development&nbsp;workflow (Application Paper).-&nbsp;Dynamic slicing of Reaction Systems based on assertions and monitors.- Multiple Query Satisfiability of Constrained Horn Clauses.-&nbsp;Formalizing and Reasoning about Supply Chain Contracts between Agents.-&nbsp;From Starvation Freedom to All-Path Reachability Problems in Constrained&nbsp;Rewriting.-&nbsp;SwitchLog: A Logic Programming Language for Network Switches.-&nbsp;Linear Algebraic Abduction with Partial Evaluation.-&nbsp;Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL.-&nbsp;Solving Vehicle Equipment Specification Problems with Answer Set Programming.-&nbsp;UAV Compliance Checking using Answer Set Programming and Minimal&nbsp;Explanations towards Compliance (Application Paper).-&nbsp;Jury-trial Story Construction and Analysis using Goal-directed Answer Set&nbsp;Programming.-&nbsp;Pruning Redundancy in Answer Set Optimization Applied to Preventive&nbsp;Maintenance Scheduling.-&nbsp;Automatic Rollback Suggestions for Incremental Datalog Evaluation.&nbsp;</div>