Loop checking in partial deduction (Q5286916)
From MaRDI portal
scientific article; zbMATH DE number 227529
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Loop checking in partial deduction |
scientific article; zbMATH DE number 227529 |
Statements
Loop checking in partial deduction (English)
0 references
6 February 1994
0 references
program transformations
0 references
termination
0 references
partial deduction
0 references
