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

1404 A Discipline of Programming – E W Dijkstra - 1976
59 Proving Program Refinements and Transformations – M Ward - 1989
473 Programming from Specifications – C C Morgan - 1994
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
641 System Software Development Using VDM – C B Jones - 1990
19 Derivation of a Sorting Algorithm – Martin Ward, South Rd, Then P S - 1999
1311 Monads for functional programming – Philip Wadler - 1995
1068 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990