ACM Transactions on Programming Languages and Systems

Title Publication Date Language Citations
Enforcing resource bounds via static verification of dynamic checks2007/08/02English3
What’s Decidable About Causally Consistent Shared Memory?2022/04/06English3
Conditional Independence by Typing2021/12/09English3
Reasoning about a Machine with Local Capabilities2019/12/10English3
Atomicity Refinement for Verified Compilation2014/07/01English3
Specialization Slicing2014/06/01English3
A practical and fast iterative algorithm for ϕ-function computation using DJ graphs2005/05/01English3
Dealing with incomplete knowledge on CLP( FD ) variable domains2005/03/01English3
Fast Graph Simplification for Interleaved-Dyck Reachability2022/05/27English3
Addendum to "The promotion and accumulation strategies in transformational programming"1985/07/01English3
Term transformers2009/05/01English3
Separating ownership topology and encapsulation with generic universe types2011/12/01English3
Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs2020/12/31English3
Automatic derivation of compiler machine descriptions2002/07/01English3
Dependency analysis for Standard ML1999/07/01English3
Axiomatic bootstrapping1994/11/01English3
Linguistic support for atomic data types1990/04/01English3
A compiler approach to scalable concurrent-program design1994/05/01English3
A comparative evaluation of object definition techniques for large prototype systems1990/10/01English3
An unfold/fold transformation framework for definite logic programs2004/05/01English3
Optimization of functional programs by grammar thinning1995/03/01English3
The undecidability of associativity and commutativity analysis2002/09/01English3
Controlled grammatic ambiguity1994/05/01English3
Error repair with validation in LR-based parsing2001/07/01English3
Automatic data and computation decomposition on distributed memory parallel computers2002/01/01English3
A refinement calculus for the synthesis of verified hardware descriptions in VHDL1997/07/01English3
Magma2: a language oriented toward experiments in control1984/10/01English3
Data descriptors: a compile-time model of data and addressing1987/07/01English3
Functions as passive constraints in LIFE1994/07/01English3
Subsequence references1992/10/01English3