ACM transactions on programming languages and systems

• 

  Año 2003, Vol. 25, Número 1

  • Mobile Safe Ambients

    Francesca Levi

    págs. 1-69

    

  • Pointer Analysis for Structured Parallel Programs

    Radu Rugina

    págs. 70-116

    

  • Information Flow Inference for ML

    Francois Pottier

    págs. 117-158