Decidable synthesis of programs with uninterpreted functions

DOI10.1007/978-3-030-53291-8_32zbMath1478.68055arXiv1910.09744OpenAlexW3102339133MaRDI QIDQ2226763

Umang Mathur, P. Madhusudan, Adithya Murali, Paul Krogmeier, Mahesh Viswanathan

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/1910.09744

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Temporal stream logic modulo theories ⋮ Church synthesis on register automata over linearly ordered data domains

This page was built for publication: Decidable synthesis of programs with uninterpreted functions