ACM transactions on programming languages and systems

• 

  Año 2017, Vol. 39, Número 4. Texto Completo Ejemplar

  • A Simple, Possibly Correct LR Parser for C11

    Jacques-Henri Jourdan, François Pottier

    • Resumen
    • Texto completo
    

  • Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

    Vojtǎch Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma

    • Resumen
    • Texto completo
    

  • Sound Non-Statistical Clustering of Static Analysis Alarms

    Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi

    • Resumen
    • Texto completo
    

  • Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform

    Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktória fördős, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth Mackenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad

    • Resumen
    • Texto completo
    

  • SHErrLoc: A Static Holistic Error Locator

    Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon Peyton-Jones

    • Resumen
    • Texto completo