A Recursion Removal Theorem - Proof and Applications

See this document in CiteSeerX!

A Recursion Removal Theorem Proof and Applications (1999) (Make Corrections) (4 citations)
Martin WardThe Computer Journal

Home/Search Context Related

View or download:
cse.dmu.ac.uk/~mwar...recprooft.ps.gz
Cached: PS.gz PS PDF Image Update Help

From: cse.dmu.ac.uk/~mward/mart...index (more)
(Enter author homepages)

Rate this article:

(best)
Comment on this article

(Enter summary)
Abstract: In this paper we briey introduce a Wide Spectrum Language and its transformation theory and describe a recent success of the theory: a general recursion removal theorem. This theorem includes as special cases the two techniques discussed by Knuth [12] and Bird [7]. We describe some applications of the theorem to cascade recursion, binary cascade recursion, Gray codes, the Towers of Hanoi problem, and an inverse engineering problem. (Update)

Similar documents based on text:
0.0: Unknown - (Correct)

Related documents from co-citation: More All
4: Abstracting a Specification from Code - Ward - 1993
4: Programming from Specifications (context) - Morgan - 1990
4: Lectures on constructive functional programming (context) - Bird - 1988

BibTeX entry: (Update)

M. Ward, "A Recursion Removal Theorem---Proof and Applications," Durham University, Technical Report, 1991. http://citeseer.ist.psu.edu/ward99recursion.html More

@article{ ward99recursion,
    author = "Martin P. Ward and Keith H. Bennett",
    title = "Recursion Removal\slash Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension",
    journal = "The Computer Journal",
    volume = "42",
    number = "8",
    month = "????",
    pages = "650--673",
    year = "1999",
    url = "citeseer.ist.psu.edu/ward99recursion.html" }

Citations (may not include all citations):
652 A Discipline of Programming (context) - Dijkstra - 1976
138 Lectures on Constructive Functional Programming (context) - Bird - 1988
52 Programming from Specications (context) - Morgan - 1994
44 Algorithmic Language and Program Development (context) - Bauer, Wossner - 1982
38 Structured Programming with the GOTO Statement (context) - Knuth - 1974
32 Formal Reduction of the General Combinatorial Decision Probl.. (context) - Post - 1943
23 Zum Hilbertschen Aufbau der reellen Zahlen (context) - Ackermann - 1928
14 An Introduction to the WSL Program Transformer (context) - Bull - 1990
11 An Alternative to Current Looping Syntax (context) - Taylor - 1984
10 Proving Program Renements and Transformations (context) - Ward - 1989
8 Syntactic Source to Source Program Transformations and Progr.. (context) - Arsac - 1982
8 Technical Monograph PRG (context) - Morgan, Robinson et al. - 1988
7 Correctness Preserving Program Renements (context) - Back - 1980
7 Formal Construction by Transformation Computer Aided Intuit.. (context) - Bauer, Moller et al. - 1989
6 cations and Programs in a Wide Spectrum Language (context) - Ward - 1991
4 in Tools and Notations for Program Construction (context) - Arsac, Recursive - 1982
4 Understanding Programs through Formal Methods (context) - Breuer, Lano et al. - 1991
4 Notes on Recursion Removal (context) - Bird - 1977
3 cation Statement (context) - Morgan, Speci - 1988
2 A Model for Partial Programs (context) - Ward - 1989
1 Conference on Software Maintenance 16th19th October (context) - Ward, Calliss et al. - 1989
1 cation Statements and Renements (context) - Morgan, Robinson - 1987

Documents on the same site (http://www.cse.dmu.ac.uk/~mward/martin/papers/index.html): More
Using Formal Transformations to Construct a Component Repository - Ward (1993) (Correct)
Legacy Assembler Reengineering and Migration - Ward, Zedan, Hardcastle (Correct)
Language Oriented Programming - Ward (1995) (Correct)

Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback

CiteSeer.IST - Copyright Penn State and NEC