Takip et
Yasunari Watanabe
Yasunari Watanabe
Yale-NUS College and National University of Singapore
comp.nus.edu.sg üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Certifying the synthesis of heap-manipulating programs
Y Watanabe, K Gopinathan, G Pîrlea, N Polikarpova, I Sergey
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
162021
A Framework For Certified Program Synthesis
Y Watanabe
National University of Singapore, 2021
12021
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–2