ACM transactions on programming languages and systems

• 

  Año 2010, Vol. 32, Número 4

  • La dolce vita at TOPLAS

    Kathryn Mckinley, Keshav Pingali

    pág. 10

    

  • An optimization Framework for Embedded Processors with Auto-Adressing Mode

    Xiaotong Zhuang, Santosh Pande

    pág. 11

    

  • Nomadic Pict: Programming Languages, Communicatiopn Infrastructure Overlays, and Semantics for Mobile Computation

    Peter Sewell, Pawel Wojciechowski, Asis Unyapoth

    pág. 12

    

  • Scratchpad Allocation for Concurrent Embedded Software

    Vivy Suhendra, A. RoyChoudhury, Tulika Mitra

    pág. 13

    

  • Santa Claus: Formal Analysis of a process-Oriented Solution

    Peter Welch, Jan Pedersen

    pág. 14

    

  • Detecting Bugs in Register Allocation

    Bruce R. Childers, Mary Lou Soffa, Yuqiang Huang

    pág. 15