scientific article; zbMATH DE number 1098500
From MaRDI portal
Publication:4372945
zbMATH Open0895.68021MaRDI QIDQ4372945FDOQ4372945
Authors: Dimiter Skordev 
Publication date: 2 April 1998
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 4074447
- On the detection of some loops in recursive computations
- On Van Gelder's loop detection algorithm
- Loop detection by logically constrained term rewriting
- A versatile concept for the analysis of loops
- Detecting Loops During Proof Search in Propositional Affine Logic
- scientific article; zbMATH DE number 1008335
- An iterative method for generating loop invariants
Cited In (9)
- On Van Gelder's loop detection algorithm
- On the detection of some loops in recursive computations
- Title not available (Why is that?)
- Loop checks for logic programs with functions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Lightweight Approach for Loop Summarization
- Efficient loop detection in prolog using the tortoise-and-hare technique
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372945)
