Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric. Unifying execution of imperative generators and declarative specifications. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]
Abstract is missing.