ACM transactions on programming languages and systems

• 

  Año 2013, Vol. 35, Número 1. Texto Completo Ejemplar

  • Mixin’ Up the ML Module System

    Andreas Rossberg, Derek Dreyer

    • Resumen
    • Texto completo
    

  • A Transformation Framework for Optimizing Task-Parallel Programs

    V. Krishna Nandivada, Jun Shirako, Jisheng Zhao, Vivek Sarkar

    • Resumen
    • Texto completo
    

  • TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis

    Junghee Lim, Thomas Reps

    • Resumen
    • Texto completo
    

  • Practical Integrated Analysis of Pointers, Dataflow and Control Flow

    Stefan Staiger-Stöhr

    • Resumen
    • Texto completo