I have heard of it, it features a nice application of Separation Logic. Though not needing that kind of logic at all does feel even better! There is also an ext

I have heard of it, it features a nice application of Separation Logic. Though not needing that kind of logic at all does feel even better! There is also an extension of an extension of CFML to asymptotic complexity analysis, after which I may model my own analysis: http://gallium.inria.fr/blog/formally-verified-complexity-with-cfml-part-1/ http://gallium.inria.fr/blog/formally-verified-complexity-wi...