|
|
 |
| Журнал ACM transactions on programming languages and systems |
Журнал ACM transactions on programming languages and systems
The purpose of 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.
2005
1. ACM transactions on programming languages and systems (Vol. 27, No. 1, January 2005)
|
|
|
|
О проекте