ACM Transactions on Programming Languages and Systems - researchr journal

researchr

You are not signed in
Sign in
Sign up

Taro Sekiyama, Atsushi Igarashi, Michael Greenberg 0002. Polymorphic Manifest Contracts, Revised and Resolved. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
Martin Hirzel, Scott Schneider 0001, Bugra Gedik. SPL: An Extensible Language for Distributed Stream Processing. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
Andrew Myers. Foreword. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
Nachshon Cohen, Erez Petrank. Limitations of Partial Compaction: Towards Practical Bounds. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
Jay Ligatti, Jeremy Blackburn, Michael Nachtigal. On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen 0001. Automatic Storage Optimization for Arrays. ACM Transactions on Programming Languages and Systems, 38(3):11, 2016.
Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht, Lubomír Bulej, Cliff Click, Lieven Eeckhout, Sebastian Fischmeister, Daniel Frampton, Laurie J. Hendren, Michael Hind, Antony L. Hosking, Richard E. Jones, Tomas Kalibera, Nathan Keynes, Nathaniel Nystrom, Andreas Zeller. The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. ACM Transactions on Programming Languages and Systems, 38(4):15, 2016.
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi. Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. ACM Transactions on Programming Languages and Systems, 38(2):6, 2016.
Marc Brockschmidt, Fabian Emmes, Stephan Falke 0001, Carsten Fuhs, Jürgen Giesl. Analyzing Runtime and Size Complexity of Integer Programs. ACM Transactions on Programming Languages and Systems, 38(4):13, 2016.
Thibaut Balabonski, François Pottier, Jonathan Protzenko. The Design and Formalization of Mezzo, a Permission-Based Programming Language. ACM Transactions on Programming Languages and Systems, 38(4):14, 2016.