ACM Transactions on Programming Languages and Systems"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." Full-text of articles is available in Adobe's Portable Document Format (.pdf). Adobe Acrobat Reader is required. You can download the software from this site by choosing the appropriate computer platform. Holdings: v. 7, no. 1 (1985)-present For USC users only.
|
