1 paper · 1 filter
Roland Meyer, Jakob Tepe, Sebastian Wolff
We present realizability and realization logic, two program logics that jointly address the problem of finding solutions in semantics-guided synthesis. What is new is that we proce…