ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 30

Volume 30, Number 1, November 2007

• Uday P. Khedker, Amitabha Sanyal, Amey Karkare:
  Heap reference analysis using access graphs.
  Electronic Edition (ACM DL) BibTeX
• Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral:
  Forma: A framework for safe automatic array reshaping.
  Electronic Edition (ACM DL) BibTeX
• David Binkley, Mark Harman, Jens Krinke:
  Empirical study of optimization techniques for massive slicing.
  Electronic Edition (ACM DL) BibTeX
• David J. Pearce, Paul H. J. Kelly, Chris Hankin:
  Efficient field-sensitive pointer analysis of C.
  Electronic Edition (ACM DL) BibTeX
• Joseph Gil, Yoav Zibin:
  Efficient dynamic dispatching with type slicing.
  Electronic Edition (ACM DL) BibTeX
• Stephen Tse, Steve Zdancewic:
  Run-time principals in information-flow type systems.
  Electronic Edition (ACM DL) BibTeX