Relational synthesis for pattern matching

DOI10.1007/978-3-030-64437-6_15zbMath1476.68046OpenAlexW3110089463MaRDI QIDQ2038088

Petr Lozov, Dmitry Kosarev, Dmitry Boulytchev

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-64437-6_15

zbMATH Keywords

pattern matchingrelational programmingrelational interpreters

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Scheduling complexity of interleaving search

This page was built for publication: Relational synthesis for pattern matching