The joint work between ISCAS, Academia Sinica, University of Freiburg, and Brno University of Technology about advanced automata-based algorithms for program termination checking [ChenHLLTTZ18] has been accepted in PLDI’18.
The joint work between ISCAS, Academia Sinica, University of Freiburg, and Brno University of Technology about advanced automata-based algorithms for program termination checking [ChenHLLTTZ18] has been accepted in PLDI’18.