vix.ing · top · new · best · stats · spec

Luca Negrini

  1. A Modular Framework for Stack-Heap and Value Abstractions (Extended Version)
    2026/07/17 by Giacomo Boldini, Luca Negrini, Luca Olivieri +1
    #cs.PL #cs.SE