7 citations · 15 across the 10 of their papers we have counts for
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…