ACM transactions on programming languages and systems (ACM series on systems and programming.)