2022-03-022022-03-020164-09251558-4593https://publica.fraunhofer.de/handle/publica/118069ACM Transactions on Programming Languages and Systems