ACM transactions on programming languages and systems ACM TOPLAS (Association for Computing Machinery, 1979)