ACM Transactions on Programming Languages and Systems
About
The 1.1k papers published in ACM Transactions on Programming Languages and Systems in the last decades have received a total of 40.0k indexed citations.
Papers published in ACM Transactions on Programming Languages and Systems usually cover Artificial Intelligence (812 papers), Computational Theory and Mathematics (475 papers) and Hardware and Architecture (403 papers) specifically the topics of Logic, programming, and type systems (631 papers), Formal Methods in Verification (376 papers) and Parallel Computing and Optimization Techniques (367 papers). The most active scholars publishing in ACM Transactions on Programming Languages and Systems are Leslie Lamport, Thomas Reps, Martı́n Abadi, Peter J. Stuckey and Krzysztof R. Apt
In The Last Decade
Explore journals with similar magnitude of impact
Top fields papers in Journal of Happiness Studies are covering Top countries impacted by papers in 2D Materials Top fields papers in Review of Economic Dynamics are covering Top countries impacted by papers in Geostandards and Geoanalytical Research Top fields papers in Journal of Marine Research are covering Top fields papers in British Journal of Mathematical and Statistical Psychology are covering Top journals impacted by papers in ILAR Journal Top fields papers in Harvard Review of Psychiatry are covering