Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Schneider-Kamp, Peter
Giesl, Jürgen
Serebrenik, Alexander
and
Thiemann, René
2009.
Automated termination proofs for logic programs by term rewriting.
ACM Transactions on Computational Logic,
Vol. 11,
Issue. 1,
p.
1.
SCHNEIDER-KAMP, PETER
GIESL, JÜRGEN
STRÖDER, THOMAS
SEREBRENIK, ALEXANDER
and
THIEMANN, RENÉ
2010.
Automated termination analysis for logic programs with cut.
Theory and Practice of Logic Programming,
Vol. 10,
Issue. 4-6,
p.
365.
Spoto, Fausto
Mesnard, Fred
and
Payet, Étienne
2010.
A termination analyzer for Java bytecode based on path-length.
ACM Transactions on Programming Languages and Systems,
Vol. 32,
Issue. 3,
p.
1.
Ströder, Thomas
Schneider-Kamp, Peter
and
Giesl, Jürgen
2011.
Logic-Based Program Synthesis and Transformation.
Vol. 6564,
Issue. ,
p.
184.
Ben-Amram, Amir M.
Genaim, Samir
and
Masud, Abu Naser
2012.
On the Termination of Integer Loops.
ACM Transactions on Programming Languages and Systems,
Vol. 34,
Issue. 4,
p.
1.
Bagnara, Roberto
Mesnard, Fred
Pescetti, Andrea
and
Zaffanella, Enea
2012.
A new look at the automatic synthesis of linear ranking functions.
Information and Computation,
Vol. 215,
Issue. ,
p.
47.
Ben-Amram, Amir M.
and
Genaim, Samir
2013.
On the linear ranking problem for integer linear-constraint loops.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 1,
p.
51.
Ben-Amram, Amir M.
and
Genaim, Samir
2013.
On the linear ranking problem for integer linear-constraint loops.
p.
51.
Ben-Amram, Amir M.
2014.
The Hardness of Finding Linear Ranking Functions for Lasso Programs.
Electronic Proceedings in Theoretical Computer Science,
Vol. 161,
Issue. ,
p.
32.
Ben-Amram, Amir M.
and
Genaim, Samir
2014.
Ranking Functions for Linear-Constraint Loops.
Journal of the ACM,
Vol. 61,
Issue. 4,
p.
1.
Maurica, Fonenantsoa
Mesnard, Frédéric
and
Payet, Étienne
2016.
Static Analysis.
Vol. 9837,
Issue. ,
p.
300.
Domenech, Jesús J.
and
Genaim, Samir
2021.
Termination Analysis of Programs with Multiphase Control-Flow.
Electronic Proceedings in Theoretical Computer Science,
Vol. 344,
Issue. ,
p.
13.