Fausto Spoto, Frédéric Mesnard, Etienne Payet. A Termination Analyzer for Java Bytecode Based on Path-Length.
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2010, ACM Transactions on Programming Languages and Systems, 32 (3), 70 p.
⟨hal-01186167⟩