... | ... | @@ -8,3 +8,6 @@ This pages does **not** document Call Arity as implemented; that documentation s |
|
|
|
|
|
|
|
|
This page used to discuss possible changes to the analysis, but these are implemented now (\[cb8a63c\]), so I removed the obsolete notes from here.
|
|
|
|
|
|
|
|
|
More information on the analysis can be found in the [ TFP 2013 paper](http://www.joachim-breitner.de/publications/CallArity-TFP.pdf). |