Volume 10, Issue 2
DOI: https://doi.org/10.22152/programming-journal.org/2025/10/issue2
- Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
Andreas Pointner, Josef Pichler, and Herbert Prähofer - If-T: A Benchmark for Type Narrowing
Hanwen Guo and Ben Greenman - A Type System for Data Privacy Compliance in Active Object Languages
Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, and Olaf Owe
