Showing 1 - 2 results of 2 for search '"program synthesis"', query time: 0.03s Refine Results
  1. 1
    Efficiency in program synthesis
    by Kant, Elaine
    Published 1981
    Subjects: “... Electronic data procressing Digital systems digital machines Efficiency in program synthesis programme...”
    Printed Book
  2. 2
    Adapting proofs-as-program: the curry-howard protocol
    by Poernomo, Iman Hafiz
    Published 2005
    Subjects: “... calculus Abstract data Programming-synthesis...”
    Printed Book
Search Tools: Get RSS Feed — Email this Search