Changes between Version 4 and Version 5 of CallArity


Ignore:
Timestamp:
Oct 31, 2015 6:09:22 PM (4 years ago)
Author:
nomeata
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CallArity

    v4 v5  
    77This page used to discuss possible changes to the analysis, but these are implemented now ([cb8a63c]), so I removed the obsolete notes from here.
    88
    9 More information on the analysis can be found in the [http://www.joachim-breitner.de/publications/CallArity-TFP.pdf TFP 2013 paper]. A proof of safety can be found in a paper [http://www.joachim-breitner.de/publications/CallArity-ICFP2015-preprint.pdf submitted to ICFP'15] and in the [http://afp.sourceforge.net/entries/Call_Arity.shtml Isabelle formalization of Call Arity.]
     9More information on the analysis can be found in the [http://www.joachim-breitner.de/publications/CallArity-TFP.pdf TFP 2013 paper]. A proof of safety can be found in a paper [http://www.joachim-breitner.de/publications/CallArity-Haskell15.pdf presented at Haskell’15] and in the [http://afp.sourceforge.net/entries/Call_Arity.shtml Isabelle formalization of Call Arity.]