Search Results - "Midtgaard, Jan"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    QuickChecking static analysis properties.

    Authors: Midtgaard, Jan Møller, Anders

    Source: Software Testing: Verification & Reliability; Sep2017, Vol. 27 Issue 6, pn/a-N.PAG, 23p

    HTML Full Text PDF Full Text
    Save to List
  2. 2

    Control-Flow Analysis of Functional Programs.

    Authors: Midtgaard, Jan1 jmi@cs.au.dk

    Source: ACM Computing Surveys. Jun2012, Vol. 44 Issue 3, p10-10:33. 33p.

    PDF Full Text
    Save to List
  3. 3

    The worker/wrapper transformation.

    Authors: ANDY GILL GRAHAM HUTTON

    Source: Journal of Functional Programming. Mar2009, Vol. 19 Issue 2, p227-251. 25p.

    PDF Full Text
    Save to List

Search Tools: