ACM transactions on programming languages and systems Association for Computing Machinery

User activity

Share to:
View the summary of this work
Association for Computing Machinery
Electronic journals; Computer programming - Periodicals.; Programming languages (Electronic computers) - Periodicals.
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.
Work ID

User activity

e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this work

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this work

Add a comment

Show comments and reviews from Amazon users