Skip to content

Relational Synthesis for Pattern Matching.

Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev

VenueBAPLAS
Year2020
ProceedingsAPLAS

Browse the full APLAS paper archive.