ACM transactions on programming languages and systems

• 

  Año 2018, Vol. 40, Número 1. Texto Completo Ejemplar

  • Bit-Precise Procedure-Modular Termination Analysis

    Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter

    • Resumen
    • Texto completo
    

  • Constraint-Based Refactoring

    Friedrich Steimann

    • Resumen
    • Texto completo
    

  • Verifying Reliability Properties Using the Hyperball Abstract Domain

    Jacob Lidman, S. McKee

    • Resumen
    • Texto completo
    

  • Conditioning in Probabilistic Programming

    Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver

    • Resumen
    • Texto completo