Recursion removal/introduction by formal transformation: an aid to program development and program comprehension.

Saved in:
Bibliographic Details
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
Description
ISSN:00104620
DOI:10.1093/comjnl/42.8.650