LIBROS DEL AUTOR: zhenjiang hu

1 resultados para LIBROS DEL AUTOR: zhenjiang hu

zhenjiang hu Eliminar filtro Quitar filtros
  • Programming Languages and Systems
    Zhenjiang Hu
    Invited Talks.- The Twilight Zone: From Testing to Formal Specifications and Back Again.- Types and Recursion Schemes for Higher-Order Program Verification.- The Sketching Approach to Program Synthesis.- Program Analysis.- Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation.- Abstract Transformers for Thread Correlation Analysis.- Scalable Context-Sens...
    Disponible

    65,89 €