ACM transactions on programming languages and systems

• 

  Año 2008, Vol. 30, Número 1

  • Heap Reference Analysis Using Access Graphs

    Uday P. Khedker, A. Sanyal, A. Karkare

    págs. 1-40

    

  • Forma: a Framework for Safe Automatic Array Reshaping

    P. Zhao, S. Cui, Y. Gao, R. Silvera, José Nelson Amaral

    págs. 41-71

    

  • Empirical study of Optimization Techniques for Massive Slicing

    D. Binkley, Mark Harman, J. Krinke

    págs. 72-105

    

  • Efficient Field-Sensitive Pointer Analysis of C

    D.J. Pearce, P.H.J. Kelly, Chris Hankin

    págs. 106-148

    

  • Efficient Dynamic Dispatching with Type Slicing

    J. (Y.) Gil, Yoab Zibin

    págs. 149-192

    

  • Run-Time Principals in Information-Flow Type Systems

    S. Tse, S. Zdancewic

    págs. 193-235