Recursion removal/introduction by formal transformation: an aid to program development and program comprehension.
Saved in:
| Title: | Recursion removal/introduction by formal transformation: an aid to program development and program comprehension. |
|---|---|
| Authors: | Ward, Martin P., Bennett, Keith H. |
| Source: | Computer Journal; Nov1999, Vol. 42 Issue 8, p651-673, 23p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00104620 |
|---|---|
| DOI: | 10.1093/comjnl/42.8.650 |