Abstract
Hecker, M; Bischof, S; Snelting, G
Snelting, G (通讯作者),Karlsruhe Inst Technol, Fak Informat, Fasanengarten 5, D-76131 Karlsruhe, Germany.
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022; 44 (1):