Changes between Version 12 and Version 13 of RelaxedDependencyAnalysis


Ignore:
Timestamp:
Jul 10, 2009 11:49:55 PM (6 years ago)
Author:
ross@…
Comment:

retitle section

Legend:

Unmodified
Added
Removed
Modified
  • RelaxedDependencyAnalysis

    v12 v13  
    130130 * The original does not deal with functions, non-trivial patterns or recursion. 
    131131 
    132 == Other issues == 
     132== Terminology issues == 
    133133 
    134134 * The Report sometimes speaks of "value bindings", "value declarations" or "function and pattern bindings".  It might be best to standardize on "value bindings".