Search Results - Hesketh, Jane

  • Showing 1 – 2 results of 2
Filter by
  1. 1
    Cover Image

    Using middle-out reasoning to transform naïve programs into tail-recursive ones
    by Hesketh, Jane, Bundy, Alan, Smaill, Alan

    Published 1990
    Book


    Saved in:
  2. 2
    Cover Image

    A recursion planning analysis of inductive completion
    by Barnett, R., Basin, D., Hesketh, Jane

    Published 1991
    Book


    Saved in:

Search Tools: