JOURNAL ISSUE published 1 March 2010 in ACM Transactions on Programming Languages and Systems

JOURNAL ISSUE published 25 September 2014 in ACM Transactions on Programming Languages and Systems

JOURNAL ISSUE published 1 December 2008 in ACM Transactions on Programming Languages and Systems

Conditional attribute grammars

JOURNAL ARTICLE published January 1996 in ACM Transactions on Programming Languages and Systems

Authors: John Tang Boyland

Extensible objects without labels

JOURNAL ARTICLE published September 2004 in ACM Transactions on Programming Languages and Systems

Authors: Christopher A. Stone

Extracting task-level parallelism

JOURNAL ARTICLE published July 1995 in ACM Transactions on Programming Languages and Systems

Authors: Milind Girkar | Constantine D. Polychronopoulos

Influence of cross-interferences on blocked loops

JOURNAL ARTICLE published July 1995 in ACM Transactions on Programming Languages and Systems

Authors: Christine Fricker | Olivier Temam | William Jalby

A framework for the integration of partial evaluation and abstract interpretation of logic programs

JOURNAL ARTICLE published May 2004 in ACM Transactions on Programming Languages and Systems

Authors: Michael Leuschel

Smarter recompilation

JOURNAL ARTICLE published October 1988 in ACM Transactions on Programming Languages and Systems

Authors: Robert W. Schwanke | Gail E. Kaiser

A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling

JOURNAL ARTICLE published January 1979 in ACM Transactions on Programming Languages and Systems

Authors: Ken Kennedy | Jayashree Ramanathan

A type system equivalent to a model checker

JOURNAL ARTICLE published August 2008 in ACM Transactions on Programming Languages and Systems

Research funded by National Science Foundation (112628)

Authors: Mayur Naik | Jens Palsberg

Fairness in parallel programs: the transformational approach

JOURNAL ARTICLE published July 1988 in ACM Transactions on Programming Languages and Systems

Authors: Ernst-Rüdiger Olderog | Krzysztof R. Apt

Automatic discovery of covariant read-only fields

JOURNAL ARTICLE published January 2005 in ACM Transactions on Programming Languages and Systems

Authors: Jens Palsberg | Tian Zhao | Trevor Jim

Editing Data Structures

JOURNAL ARTICLE published April 1981 in ACM Transactions on Programming Languages and Systems

Authors: Christopher W. Fraser | A. A. Lopez

Path analysis and the optimization of nonstrict functional languages

JOURNAL ARTICLE published May 1994 in ACM Transactions on Programming Languages and Systems

Authors: Adrienne Bloss

Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer

JOURNAL ARTICLE published October 1981 in ACM Transactions on Programming Languages and Systems

Authors: Irene Greif | Albert R. Meyer

TransformGen: automating the maintenance of structure-oriented environments

JOURNAL ARTICLE published May 1994 in ACM Transactions on Programming Languages and Systems

Authors: David Garlan | Charles W. Krueger | Barbara Staudt Lerner

Typed–Untyped Interactions: A Comparative Analysis

JOURNAL ARTICLE published 31 March 2023 in ACM Transactions on Programming Languages and Systems

Research funded by NSF (CCF 1518844, CCF 1763922, CNS 1823244, CCF 2030859)

Authors: Ben Greenman | Christos Dimoulas | Matthias Felleisen

Using types to analyze and optimize object-oriented programs

JOURNAL ARTICLE published January 2001 in ACM Transactions on Programming Languages and Systems

Authors: Amer Diwan | Kathryn S. McKinley | J. Eliot B. Moss

An elimination algorithm for bidirectional data flow problems using edge placement

JOURNAL ARTICLE published April 1993 in ACM Transactions on Programming Languages and Systems

Authors: D. M. Dhamdhere | Harish Patil