On the detection of some loops in recursive computations

MaRDI QIDQ3365455zbMATH OpenFDO

Authors Dimiter Skordev

Publication date 23 January 2006

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 475191
• scientific article; zbMATH DE number 729934
• scientific article; zbMATH DE number 1098500
• scientific article; zbMATH DE number 4049156
• One-sided recursions

Cited in

(5)

• scientific article; zbMATH DE number 1098500 (Why is no real title available?)
• On Van Gelder's loop detection algorithm
• scientific article; zbMATH DE number 7439738 (Why is no real title available?)
• A New Algorithm for Identifying Loops in Decompilation
• scientific article; zbMATH DE number 7809184 (Why is no real title available?)

This page was built for publication: On the detection of some loops in recursive computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3365455)