COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
2015 ◽
Vol 24
(3)
◽
pp. 106-113
◽
2017 ◽
Vol 17
(4)
◽
pp. 298-311
◽