Program synthesis with equivalence reduction

DOI10.1007/978-3-030-11245-5_2OpenAlexW2910204069MaRDI QIDQ2287069

Aws Albarghouthi, Calvin J. Smith

Publication date: 23 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-11245-5_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Theory exploration powered by deductive synthesis ⋮ Automatic synthesis of data-flow analyzers ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Bootstrapping library-based synthesis

This page was built for publication: Program synthesis with equivalence reduction