scientific article; zbMATH DE number 1098500
From MaRDI portal
Publication:4372945
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)- Efficient loop detection in prolog using the tortoise-and-hare technique
- On Van Gelder's loop detection algorithm
- On the detection of some loops in recursive computations
- scientific article; zbMATH DE number 475191 (Why is no real title available?)
- scientific article; zbMATH DE number 517070 (Why is no real title available?)
- Loop checks for logic programs with functions
- scientific article; zbMATH DE number 4182856 (Why is no real title available?)
- scientific article; zbMATH DE number 7809184 (Why is no real title available?)
- A Lightweight Approach for Loop Summarization
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)
