ACM transactions on programming languages and systems

• 

  Año 2016, Vol. 38, Número 3. Texto Completo Ejemplar

  • ThisType for Object-Oriented Languages: From Theory to Practice

    Sukyoung Ryu

    • Resumen
    • Texto completo
    

  • Thinking Inside the Box: Compartmentalized Garbage Collection

    Gregor Wagner, Per Larsen, Stefan Brunthaler, Michael Franz

    • Resumen
    • Texto Completo Ejemplar
    

  • A Practical Approach for Model Checking C/C++11 Code

    Brian Norris, Brian Demsky

    • Resumen
    • Texto completo
    

  • Automatic Storage Optimization for Arrays

    Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen

    • Resumen
    • Texto Completo Ejemplar
    

  • The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests

    Uday Bondhugula, Aravind Acharya, Albert Cohen

    • Resumen
    • Texto Completo Ejemplar