Abstract
Yoshida, N
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022; 44 (3):