Showing 1 - 3 results of 3 for search 'Runciman, Colin', query time: 0.14s Refine Results
  1. 1
    Improving implicit parallelism
    by Calderon, Jose Manuel
    Published 2015
    Other Authors: “...Runciman, Colin...”
    Get full text
  2. 2
    Tools for discovery, refinement and generalization of functional properties by enumerative testing
    by Matela Braquehais, Rudy
    Published 2017
    Other Authors: “...Runciman, Colin...”
    Get full text
  3. 3
    Property-based testing and properties as types : a hybrid approach to supercompiler verification
    by Reich, Jason S.
    Published 2013
    Other Authors: “...Runciman, Colin ; Paige, Richard F....”
    Get full text
Search Tools: Get RSS Feed — Email this Search