Acm Transactions on Programming Languages and Systems (ACM)