ACM Transactions on Programming Languages and Systems
| ACM Transactions on Programming Languages and Systems | |
|---|---|
Abbreviated title (ISO 4) | ACM Trans. Program. Lang. Syst. |
| Discipline | Programming language |
| Language | English |
| Edited by | Jens Palsberg |
| Publication details | |
| Publisher | |
Publication history | 1979–present |
| Frequency | Bimonthly |
| Indexing | |
| ISSN |
0164-0925 (print) 1558-4593 (web) |
| Links | |
The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly peer-reviewed scientific journal on programming languages published by the Association for Computing Machinery since 1979. The current editor-in-chief is Jens Palsberg. Its scope includes programming language design, implementation, and semantics of programming languages, compilers and interpreters, run-time systems, storage allocation and garbage collection, and formal specification, testing, and verification of software.