External Links

    Journal: Programming Journal

    Volume 10, Issue 2

    0 -- 0Hanwen Guo, Ben Greenman. If-T: A Benchmark for Type Narrowing
    0 -- 0Andreas Pointner, Josef Pichler, Herbert Prähofer. Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
    0 -- 0Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe. A Type System for Data Privacy Compliance in Active Object Languages
    runs on