Facet browsing currently unavailable
Page 1 of 1254 results
Sort by: relevance publication year
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 |
Extensible objects without labels JOURNAL ARTICLE published September 2004 in ACM Transactions on Programming Languages and Systems |
Extracting task-level parallelism JOURNAL ARTICLE published July 1995 in ACM Transactions on Programming Languages and Systems |
Influence of cross-interferences on blocked loops JOURNAL ARTICLE published July 1995 in ACM Transactions on Programming Languages and Systems |
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 |
Smarter recompilation JOURNAL ARTICLE published October 1988 in ACM Transactions on Programming Languages and Systems |
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling JOURNAL ARTICLE published January 1979 in ACM Transactions on Programming Languages and Systems |
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) |
Fairness in parallel programs: the transformational approach JOURNAL ARTICLE published July 1988 in ACM Transactions on Programming Languages and Systems |
Automatic discovery of covariant read-only fields JOURNAL ARTICLE published January 2005 in ACM Transactions on Programming Languages and Systems |
Editing Data Structures JOURNAL ARTICLE published April 1981 in ACM Transactions on Programming Languages and Systems |
Path analysis and the optimization of nonstrict functional languages JOURNAL ARTICLE published May 1994 in ACM Transactions on Programming Languages and Systems |
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 |
TransformGen: automating the maintenance of structure-oriented environments JOURNAL ARTICLE published May 1994 in ACM Transactions on Programming Languages and Systems |
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) |
Using types to analyze and optimize object-oriented programs JOURNAL ARTICLE published January 2001 in ACM Transactions on Programming Languages and Systems |
An elimination algorithm for bidirectional data flow problems using edge placement JOURNAL ARTICLE published April 1993 in ACM Transactions on Programming Languages and Systems |