Acm Transactions on Programming Languages and Systems (UNITED STATES ACM)
Keywords: Information Technology -- Computer Architecture, Languages and Compilers; Information Technology -- General and Others; Information Technology -- Information Science and Systems; Information Technology -- Software Engineering; Mathematical Sciences -- Algorithms; Mathematical Sciences -- Applied Mathematics; Mathematical Sciences -- Mathematical Analysis & Logic