A Recursion Removal Theorem - Proof and Applications (1999)

Cached

Download Links

by Martin Ward , South Rd
Citations:11 - 8 self

Documents Related by Co-Citation

59 Proving program refinements and transformations – M Ward - 1989
1399 A Discipline of Programming – E W Dijkstra - 1976
19 Derivation of a Sorting Algorithm – Martin Ward, South Rd, Then P S - 1999
36 Derivation of Data Intensive Algorithms by Formal Transformation: The Schorr-Waite Graph Marking Algorithm – Martin Ward - 1996
43 Abstracting a Specification from Code – Martin Ward - 1993
474 Programming from Specifications – CARROLL MORGAN - 1990
21 Foundations for a Practical Theory of Program Refinement and Transformation – M. P. Ward - 1994
56 Languages with Expressions of Infinite Length – C R Karp - 1964
17 An alternative to current looping syntax – ACL David Taylor - 1984
13 A Practical Program Transformation System For Reverse Engineering – M. P. Ward, Durham Dh Le, K. H. Bennett, South Rd, South Rd - 1993
88 On the refinement calculus – C Morgan, K Robinson, P Gardiner - 1988
22 Correctness preserving program refinements – R-J Back - 1980
638 Systematic Software Development Using VDM – Cli B Jones - 1990
17 Formal Languages: Automata and Structures – E ENGELER - 1968
130 Specification Case Studies – Ian Hayes - 1987
7 A Recursion Removal Theorem – Martin Ward - 1993
40 Structured Programming with goto Statements – D E Knuth - 1974
34 Specification statements and refinement – C C MORGAN, K A ROBINSON - 1987
9 The Specification Statement,” Trans – C C Morgan - 1988