[Haskell-cafe] Problems with strictness analysis?
a.biurvOir4 at asuhan.com
Thu Nov 6 00:53:10 EST 2008
Luke Palmer-2 wrote:
> I would like to know or to develop a way to allow abstract
> analysis of time and space complexity.
In the same way that type inference and strictness analysis can be
seen as instances of abstract interpretation, so can complexity
inference. I agree that the interplay between these various instances
of AI is an unexplored lode for us cogheads.
Below are 2 references to complexity inference. I have yet to look
closely to ascertain the degree of compositionality of their
methodologies. Can anyone recommend a survey paper of the
Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time
Amir M. Ben-Amram, Neil D. Jones and Lars Kristiansen
Automated complexity analysis of Nuprl extracted programs
View this message in context: http://www.nabble.com/Problems-with-strictness-analysis--tp20301967p20355554.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
More information about the Haskell-Cafe