ACM transactions on programming languages and systems

• 

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

  • Multiple Facets for Dynamic Information Flow with Exceptions

    Thomas H. Austin, Tommy Schmitz, Cormac Flanagan

    • Resumen
    • Texto completo
    

  • Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types

    Colin S. Gordon, Michael D. Ernst, Daniel Grossman, Matthew J. Parkinson

    • Resumen
    • Texto completo
    

  • From Clarity to Efficiency for Distributed Algorithms

    Yanhong A. Liu, Scott D. Stoller, Bo Lin

    • Resumen
    • Texto completo
    

  • The Chemical Approach to Typestate-Oriented Programming

    Silvia Crafa, Luca Padovani

    • Resumen
    • Texto completo