Reductions for Synthesis Procedures
Abstract elided by the publisher.
Related papers
- Synthesis from LTL Specifications with Mean-Payoff Objectives TACAS 2013
- SAT-Based Synthesis Methods for Safety Specs VMCAI 2014
- Realizing ømega-regular Hyperproperties CAV 2020
- Program synthesis from polymorphic refinement types PLDI 2016
- Synthesis of layout engines from relational constraints OOPSLA 2015
- Algorithmic Program Synthesis with Partial Programs and Decision Procedures SAS 2009
- Program Synthesis with Equivalence Reduction VMCAI 2019
- Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages ICFP 2012