ACM Transactions on Programming Languages and Systems

Title Publication Date Language Citations
EDO2006/01/01English3
PPMexe2007/01/01English3
Decomposing bytecode verification by abstract interpretation2008/12/01English3
Verifying policy-based web services security2008/10/01English3
Dually nondeterministic functions2008/10/01English3
SHErrLoc2017/08/17English3
Witnessing side effects2008/05/01English3
Santa Claus2010/04/01English3
Finite differencing of logical formulas for static analysis2010/08/01English3
Bottom-up shape analysis using LISF2011/11/01English3
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs2021/11/10English3
An interval constraint system for lattice domains2004/01/01English3
On the complexity of dataflow analysis of logic programs1995/03/01English3
TransformGen: automating the maintenance of structure-oriented environments1994/05/01English3
Type extension through polymorphism1990/01/03English3
A Multiprocessing Approach to Compile-Time Symbol Resolution1981/01/01English3
CSim 22021/02/09English3
The Chemical Approach to Typestate-Oriented Programming2017/05/26English3
A Logical Approach to Deciding Semantic Subtyping2015/10/16English3
Practical Subtyping for Curry-Style Languages2019/02/28English3
Feature-Specific Profiling2018/12/19English3
Program Synthesis for Program Analysis2018/05/28English3
Intensional analysis of quantified types2003/03/01English3
Efficient and effective branch reordering using profile data2002/11/01English3
A step towards unifying schedule and storage optimization2007/10/01English3
An improved bound for call strings based interprocedural analysis of bit vector frameworks2007/10/01English3
A provenly correct translation of Fickle into Java2007/04/01English3
Transition predicate abstraction and fair termination2007/05/01English3
Deferring design pattern decisions and automating structural pattern changes using a design-pattern-based programming system2009/04/01English3
A practical interprocedural dominance algorithm2007/08/01English3