ACM Transactions on Programming Languages and Systems
ACM Trans Program Lang Syst
The purpose of the ACM Transactions on Programming Languages and Systems (TOPLAS) is to present research results on all aspects of the design, definition, implementation, and use of programming languages and programming systems. The scope of TOPLAS includes: programming languages and their semantics; programming systems (systems to assist the programming task, such as compilers, runtime systems, and language environments); storage allocation and garbage collection; languages and methods for writing specifications; testing and verification methods; and algorithms specifically related to the implementation of language processors.
- Further information
- Category Link