ACM TOPLAS presents research results on all aspects of the design, definition, implementation, and use of programming languages and programming systems. It is a peer-reviewed journal, published 6 times a year by ACM.