ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
![TOPLAS Home](data:image/jpeg;base64,/9j/4AAQSkZJRgABAQAAAQABAAD/2wCEAAkGBxETEhUSEhIWFhUXFxcXGRcYFxkWGhcYFhcYGhcYGBoaHSggGhomHRgXITEiJSkrLi4uGR8zODMtNygtMCsBCgoKDg0OGhAQGi0lICYtLS0uListLS8wLS0tLS0vLS4tLS0rLS0vLS0tLy0tLTUtLS0tLS8tLS0tLS0tLS0tLf/AABEIAQAAxQMBIgACEQEDEQH/xAAbAAEAAgMBAQAAAAAAAAAAAAAAAwQBAgUGB//EAEEQAAEDAgQDBgIIBAUDBQAAAAEAAhEDIQQSMUEFUWETIjJxgZGhsRQVI0JSwdHwU2KCkgYzQ1ThFrLCJDRjcnP/xAAaAQEAAwEBAQAAAAAAAAAAAAAAAQIDBgUE/8QALREAAgIBAwIEBQUBAQAAAAAAAAECEQMEEiExQVFSseETcZGh8CJhgdHxBUL/2gAMAwEAAhEDEQA/APuKIiAIiIDk8T4ZMvYL7t59R1XFXsFzeJ8Nzd5ni3HP/lefqdJf64fQ+3T6mv0zOCo6tZrfEQJUT8PVk/akXNiwWvp5wI91g4VxILnh0TMsbcH5LzaR99ssMeCJBkcwtlSZhaoECtp/8bec3+VoV7AYOo9wGbNa5gAa6mOloUqNukHKlbN6FFzzlaJPy6ldio+lhaeZ13H3ceQ5Ba4rE0sJT5uOg3ceZ5BeOxmLfVcXvMn4AchyC0y5o6RUuZ+nv+fPLHjlqXb4h6m/EMc+s7M8+Q2aOQVZEXiSk5Nyk7Z6sYqKpdAiIqlgiIgCIiAIiIAiIgCIiA+moiLujkQiIgCIiAocS4cH95tnfPz/AFXn3tIMEQRsvXqpjsA2pB0PMcuS+LU6Xf8Aqh19T68Gp2fpl0OFg8I6oYGm55LocQx9PCsytEvOg5/zO6LXivE2YZvZ0wC+LDlP3nfovHVarnOLnEkm5JXm59RHSrZDmfd+Hufdiwy1D3T4j2XibYnEOqOL3mXHf8hyClaKWUfijeYJJB25CR5wqy6DeGSxjg7vPAgGACXOLYBmZETpovKxqc22lb/PuehNxikm6IanZQIuZbMzEAEO9zf1WS2iZOYjkB/yP3CN4bUMZcpJiAHCSC7KHDpmsh4c+M0tLYmQ6xuW25mQQr7Z+T7Fbh5vuBSo/jI12ne23JYDKUXJB8yd3b5eWXZSfVNWY7o8MSYnMS0C4mZBCw3hlQmAW/dg5hBzlwaB1lpCnZk8n2I3Q8xFUZSg5XGbRO+k7W1PslRlKDDiTt7223HspRwx/SSWxcZSC17pn+grDeGVD+G8Qc1nS3N3fS6j4eTyE74eYpopew7jXT4nObHkGn/y+Cs/VNWY7o8MSYnOXBoE3mWkLJYpvovzqaPJFdWUUVynwyo6IyyctpuM/hkdVrS4fUcJAHhz+hnpE906qfg5PBkfEh4lVFdHC6p0idCJkt7ua4HTko8RgXsEuiM2XneJ/c3R4ciVtMLJBukysiIsjQ+moiLujkQiIgCIiAKGtWiw1WK9aLDVVVjPJXCNYQ7s14nw1mIbyeNHcuh5heKxeGfTcWPEEfHqOYXuWOIMhYx+Cp4hkOsRod2n8x0XnavRx1C3R4n6+59um1TwvbLmPoeCVhna9xwDrWYcp2JMC17yfdMfgn0n5HjyOxHMKajxRzWtaGN7pBm9yA4SevePsF4UYqMmptqj15S3RTgrM4RuIJFMBwgixBGW+YSYlom/xW1XEVajc4hrQQ0CbucDntzdLp2WtHirmhoytOTLl11a0tmxvYqDDYosa5oHiBBMnQ/yzBI2Oy1+JFJJSff2Xr+xnsk3e1fnUkNbEG/ftezdMjidhs4n1Wan0hhgh4yZSbeHKS5pmI1JPqpMVxPMXQ0Fpbl73qS8gWzFzi7otX8UcQ4ZQM0mRNi5oa4+oAsjcPO7/wB9glLyo0LsQ0XDwABq0gADMBt/M4eq3o46rSkOBmABmkZQGlot5FYfxR5zWHeLzv8A6gaDvtlEKvjMR2js0AW236nmeqh5FHmE3ZKg5cSihRxT2jK10CZ0Fja4JEg2Hstjjqkg5tC0iwF2klug2Lj7quiwWSS4t/U12R8C79ZPDAwWILTmmT3SS2OWqj+sKv4+mg5EWtaziLc1WRWebI//AEyPhw8C7U4m8ta0WjfUu7uW86iNlXdiHEFs2JkgACTtoOpUSKJZZy6slY4rogiIsy59NREXdHIhERAFXr19h7rWvW2CgWGTJ2RrCHdhERYGoWWuIuFhFIJMXhqddmR48juDzC8VxLhz6LsrtNnbOH69F7IGFLWpMrMLHif3qORWGq0sdSr6S8fH5m2n1EsD8Y+h89RXuLcLfQdBu0+F3PoeRVFc5OEoScZKmj24TjNbovgIiKhcIiIAiIgCIiAIiIAiIgPpqIsErujkTKqVq02GnzWK1abDRRL58mS+EbQhXLCIixNAiIgCIiAICiICdwZUaWPAIO3P9CvHcZ4Q6gZF2HR3Lo7r816pThzXgseAQbX0Kz1GnhqY1LiXZ/2aYc8sErXTuj54i63HOCuonM2TTO+7eh6dVyVzmXFPFJwmqZ7mPJHJHdF8BERZGgREQBERAEREAREQH0xzouVTrVZ8lUGPL6tSmQAGBpF5JkSZEW1F978ip12OTJfCOYhCuQiIsi4REQBERAEREAREQBERAT06gIyuuDa+/Qry/HuBmlNSmJp7jdn6t+S9Cp6NbZ2n71VM2GGojtn17PwL4sssMt0endHzxF6Hj3Acs1KQ7upaPu9R06beWnnVzmfBPDPbNe57mHNHLHdEyiIsTUIiIAiIgCIiA9pSpN7R7gIJDQTzgW9lYUVPxv8A6fkpV1cTnWERFJUIiIAiIgCIiAIiIAiIgCIiAmoVosdPkuHx7gOtWiOrmD5t/RdZS0a0WOijLjhmhsyfw/AtjnLFLdD/AE+erK9Zx7gQfNWiO9qWj73UfzfNeTIXO6nTTwT2y/h+J7eDPHNG4/QIiL5jcIiIAiIgPbs8TvT5KVQ0vG/+n5KZdXHp9fU52XUKt2lSSAGane8deuisqs7AUyHCPECCZvDokfD9yjV9yE6MtNXdrdRudN/XRWAuceC0Z+95Z3bzvM78/ir9NgAAGgRKu4bvscypXxYFPK2i4kODpcWS60ZLmwGYHfTqsGrjpb9nRAkFxzONo8I0vMXPte2X/wCHcMWNpljsrc+XvvBHaeODmm9/crD/APDmGJJyuk3/AMx+8zAJgEybi9+d1fgrydYoqnDuHU6ILaYIBIJlzn6ANF3E7AK2oJK2IdVzQzJGUm8k5pEWkd3WfMclXFfEgXp09NQ/XmQNvf1VjE4CnUMvbJEQb2iY+ZVYcDofhNhHjdYe/T19SnBBvWq4iCWtpiGg3M945dTIhviv+zg1sSIPZMOkw68ybidRpy1OsX2p8IotmGm4IPeJkH1WruC0Z8JA5AkDp5R0/IRPA5Ns+Jg9ynM2uYIk+0CPWfM6itir/ZMi/wB/WNLRobe55XmwvDqdM5mAgxGpOsaybmwurSgkp4apiJAexgF5IcZHKB+c7q4iICSjVjyXP45wQVR2lKA/caB/6O6q4t6VQjyUThDJHZkXHoTGUsct8Op4F7SCQRBFiDqFhe141wdtcZ2QKg32d0d+q8ZVpuaS1wIIsQdlz2q0k9PKnyuzPa0+pjmjx17o1REXyH0hERAe3p+N/wDT8lKoaXif/T8lMuqj0+vqc7LqFy3YlmZwNR4jM48gBqPLp0XUWC0clLin1ITa6HJHEqA1rkieTtWyToPfouqx4IBGhCzlEzAnnusqUkugbb6nlO3o9lSDsTXa2HPDnBwcYhkGDO8gGZkHkpsDxmgw53YurUBaTlcyA2TI0YLiCBfn0XQo4fGBlMOrMc8F2c5bPBPdsAMpAta3MHZRoY0FmatScBlzQwguE94+caRAkq5Q6gO6yiKhY5vEnDN/mPacmaG8mkzra+Y/29Fz62JaAAMY7T8Jdt3RsevkNd16JFNijhUsS2xFeo5oOU9wuhwuCYg5YF/MaXkMUwOB+lvjUjIb3HSAOfmNpnuopsijh/SKb4AxT7utDT94jKPDp/zflrUxNOZ+kVGzBywdAZn9Y2i3PvIlijg0cZTDmn6U9wBJILSQ7oIHMz6BdCpxei0w5xFs05TBGUOmw5HfqryKLJKNPi9AmA+9hGV2pIAGmskDzKvLUsEzAkbxdbIDenUIUHFuFsxDZFnjR35O6KRbMeQZCNRnFwmrTCcoy3RdM8LiaDmOLHiHDb96hRr3fEuH08Qy9nDR246HmF4rGYR9JxY8QR7EcxzC5/WaOWB2uYvo/wCz2dNqo5lT4l4EKIi+I+s9tSHef/Tz5KZQ0z33enyUy6uPT6+pzsuoVc1Kl+4NfxbbFWFSfwumSXXDiHCQb97Xb9yUavuQnXYlFSr/AAwLj7w0Jv6gKwuceEMnx1Y5ZzvO+u+iv02AANGgEIlXew3fY5lLEYz7LNRZee1yv8NzGQE3tEz11WpxmMDnD6K1zZABFVrTGYyTMyA2DsZ2vbn0jSY2g9uGxBIe8NBBmn3mtLnTAgtAPlO6rUsPhm05pUMbEBwDczc003ZZGbccxylaUUs9JgK9Zxd2tEUwIykVA/MZdOgECA0+vRXFx+DcHpMDKjBVbYwx9RxDZLplsxMuPw5BdhVZZFXFVaoIyUw8W+8G3m9zyEbGZ2hQvxOJvGHE7fag7a6C025qbF4BlQhzs0gQCCRAJk/EC/QKIcJp2u/+43nWeep/YCcEAYnEH/QA1uagOxiw5mN907fEadi09RUgGNwIm/I6LP1VTuDmIIcCC4xDxBEab/LkFk8LpmJzSJg5jInKDB8mgep5qeByZ7evf7ECwIOcG8XBFpjzUX0rESB9HHmagjUToLW/Zhbt4TTE3fcEHvG4IIj4lZdwymYkvkAgHMZhxk/ENP8ASE4HJl1avAikAYdq4GHAdzTUG8+Y6rT6TiL/AGAMbioIdHKRaeq1HB6d+9UvH3zqN/PT2C6KgkpHE17fYbSftG2MkZdL2gz1WrsRiAP8kEw3R4ABIGYGTeDm9hzV9EBQZicQXXoANzRPaCQ2Rf5mPIdVfREBljiLhZxuDp4hmV1iNDu08x0Wqy10XCnhpxkrTHKe6PDPFcQwT6Lsrx5HZw5hF75tRrh3gPX8llebL/kJu4z4+XufdH/pNKpQ5+fsUGMOZx2MfAKREXoJUfE2FAcZT/FoSPUKdUCzEy4zTIvlEHlabc+vNQ0+wVdywMZT/FuBvvYe6nXOP0vYUB178bwOc6K/TmBOsX80SfcNrscz/qPCwxxq5RUBLS5rmghszMi3hMTrstv+osJ/uGaga7nLH/ez+4c1tTo14Zm7Mx4/5rGI7lhtETEd7WazsLjA4lv0Zw7wBc1wLRJLR3Rf7gI/lmeV6RXkuYbjGHqODGVWucdGjWwzEdDF/dXlFQpwBmDc0CS0QJi8TeFKoJK+IxtNhh7otN5+HNQHjFC/2gt0PTS3Ue6uuYDcgEjp++ZTsxyHsgKz+J0hEv8AEAQYMEGYM+i1HF6H8QaA6HQ+n7kc1b7NvIe3qsPotIgtaRyIBTgFT63w/wDEGk7xGuscr+S2q8TotIBeJMQIM3tpE62Vrs28h7BZLRyCcAqniVGAc4252zTE8vCVoOL0DpUHx0gmdNLG/RXcg5D2WppN/CPYJwCtU4pRaSC7RwabGA4zAJj+UrV3F6AaXdoCBExJ8Wmg3VwsHIeyBg5D2QFQcWoa9q338/0Kmw2Mp1PA4OjkpOyb+EewWwaBoAgMoiKAEREARVqOKzValOPAGmZ1zCdItHrqrKkBVzWqX+z3jUabFWFRdwxslwe8EgiQ7SZuLWN/gFVq+9Ep12J21Xmfs403F5N/ZS0ySASIPLWFQPCp/wBevH/6EXvvy6dFfpsgAchF0SruG77FOlia0sDqMTOYhwIbe3nYz6FXl5Ss/D9nRLWYpl3Mb2bQx7G52zngSGmM3UE84XQwHHKXdphmI2a1z6bzm8Ny4/8A2F3RNzdXaKpnbREVSSviatQGGU8wy6yAM0iB7SZ8uagdi6wn7A2E2cDNpjn09PKZq+DDnB+Z4Igd1xaCASYMeah+qmzIfVF5gPIEnUqeAZp4usTBoECdcw0jYaz5x6b6Mx1bQ4d0794RMCYO4v6+8bDhbcuXtKpuDJqEkRMRyF/gOSfVYkntat/5ztEAdNbGdTzKngjk2Zi6pIHYECQCS4aEXIjkY1j5xj6XWyg9gZmC0OBOguDpEz1torVCllaGyTG7jJ15qRQSUBjK0f8AtzMgEZm6QZI22Gp3W4xVWJ7E72zAkwY10Fr+quIgOecZWv8A+nM7d9sG36/vlu/FVQ4jsSRJhwcACNuvw8pV1EBz/plf/bn+8WE7xvEG07q7ReS0EtLSQDB1E7Hqt0QBERQAiIgKeHI7aqO0kwwlkHu2sdYvB0A+CuKph2tFWoQWycsgeIQ0Rmv+Q1VtSAiKsH1CTGQw7mdNp5HRVboslZZRQNNT7waLjc7m/wAFLTmBMTF40neETsNUc5+Arw0NxTgQHAksDs0uaZIJiQAR5O53Ub8FjYMYtpOw7FoBs4C8mLlpm+ml110VrK0cX6txk3xm8wKI/CQRObTfzErq4Zjg0B7s7ry6Ms3tYdIUqJYoIquJq1A6GZD3ZgmDqZJ6aX8+QBh7XFTHZ0yNc2Yx0HOfy32ShZ0EXPNXEDxNpCSIJcYAi/md/fleTPWkt+zacst1JnlE6dUoWXEVGnUxEgOYyJgnNFr3GusAxtO60bWxIBJbS1jxEc59eiULOii5xxVa0dkZH47ZiTAHOQBHryWQ/Ffw6f8AcbWHS955baJQs6CKkKmIk9xhAJg5rm9pG1vPbmYxTfib5mU9CRBMA2hp56m8bdbKFl5FUwrq+b7QMDeTSSR6nX2CtoAiIoAREQFShhXCtUqEiHhgA3GUQZ6fqVbRFICp1eGUneIE3nxO69bC5sOZVxEBQo8GoNMhpmZnMbRpvpCvoiAIiKAEREBzOKYdr3DNhzUEDvB0Rd1o3G/qLKm3D0jphKm41i5jN9748xbmuri8FnM9o9to7pgHzt1Puo28PIj7erYg+IXA+6RGnxVrIopMpsGaMLUAc0h19Qbfi5T5T1WexplgH0aoRqBcWcGm8keUa91XG8OjP9rU717uu05s3dMWGyyzAkGTWqmxEEjcETpqNUsUc/NTADhhavdzRY2g6i/No0/NSCizIGfRqmXMIaTpY97xWG3qrdThsx9rUENDbOicswTbW9+aweG+IGtV7wb94WLSCHC2vdE7dEsUVSxveP0Z5zmHXJcYiC6TpLnb7HVQjC0/9pU11zG8GQZzSdjB5dF0zgJYGdrUsZzSM3kTFwriWKOHXwjQSW4XNv43AkkG0RANheYvstmMylrxhXZmtic7jEQwAW73cEzG0aldpFFigERFBIREQBERAEUbHHM4bCPiFIidktUFVx+NbSbJuYMNG8akk2DRuTYKeqXZTlALoMAmATsCdl4iq0Vmv+lvex2dwcAN2taabYg927yBadZ3WmOG5mc5Udng/wDiAvcRULCJkOY9rg3o/KTA/mPqvQr5/huHYVrppvqdoHHJBkG3cBBpiZNiORI6r0P+G8RVIqjWg1zxSeZJgEwB+JoG/pfa+TGlyisJ3wzvovK0cY0AN+nVLAa087oMEFzmyDYi8733CjdxCnZ31hUIkTFM6gC5nbeNNbWgZbTSz1yLyuIxzA0H6ZVcQ8QW0yIOSp3SLd06XOrW3m66FD/EGGa1oNZ1Txd/KblrgDMCBd1treSULO0i5jOPYYuyioZkN8D7OJa0AnLY5nNEcyAumoJCIigBERAEREAREQBERAERb0qZKlKw3RqGk6IrzGgCAi2WH9zL4hy2DvO9PkpViN1lfOlRs3YXO4twztQS0htSIBIlrgLhrxuOuo23noorJtO0Q1Z5HgfCcQ9zjXpsosaS2GZs1TnDnOdlZ1EEr1rGgAAAACwAsABsFlCrSm5dSIxSNGvadCPcbz+hRuUWEWAsIsNvRVPqjD/wh8f106eay7hVEx3NIiCbXmPI7jdV4JLNPJctyyTciLkWvzNo9FtmbzHwVWpwui7Vk2jU2ERa9rfILB4TQiOzGkan4SUBbIadYOh29CgqN5j3G2qrDhtH8GwbqdBEDXoFh3DKJMmmDcm5JudTcoC06o0akDXcbXKwKrbd4XuLi45hVxwyj/DG/Pdoad790ALDuFUCZ7MfEbR6IC2HDmFlVaPD6TSHNYARob223KtIAiIoAREQBEUtGjPkpSbdIN0YpUp8lca0CwQCFlfVCCifPKVhERXKn//Z)
ISSN: 0164-0925
eISSN: 1558-4593
Publisher: ASSOC COMPUTING MACHINERY
Publisher address: 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701
Languages: English
Web of Science Categories: Computer Science, Software Engineering
ISSN: 0164-0925
eISSN: 1558-4593
Publisher: ASSOC COMPUTING MACHINERY
Languages: English
Web of Science Categories: Computer Science, Software Engineering