Termination Analysis by Learning Terminating Programs
Matthias Heizmann
◽
Jochen Hoenicke
◽
Andreas Podelski
2012 ◽
Vol 35
(1)
◽
pp. 65-75
◽
Wei XIONG
◽
Ye WU
◽
Zhen ZHANG
◽
Qiu-Yun WU
Mandy Weißbach
◽
Wolf Zimmermann
Fonenantsoa Maurica
◽
Frédéric Mesnard
◽
Étienne Payet
Dániel Varró
◽
Szilvia Varró–Gyapay
◽
Hartmut Ehrig
◽
Ulrike Prange
◽
Gabriele Taentzer
Stephan Swiderski
◽
Michael Parting
◽
Jürgen Giesl
◽
Carsten Fuhs
◽
Peter Schneider-Kamp
D. Montesi
◽
M. Bagnato
◽
C. Dallera
Xiaofei Xie
◽
Bihuan Chen
◽
Liang Zou
◽
Shang-Wei Lin
◽
Yang Liu
◽
...
J. Cook
◽
J. P. Gallagher
Dean Voets
◽
Danny De Schreye