On the detection of some loops in recursive computations

zbMATH Open1079.68523MaRDI QIDQ3365455FDOQ3365455

Authors: Dimiter Skordev 

Publication date: 23 January 2006

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

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• On Van Gelder's loop detection algorithm
• Title not available (Why is that?)
• A New Algorithm for Identifying Loops in Decompilation
• Title not available (Why is that?)

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)