|
|
|
|
|
|
by derkha
3624 days ago
|
|
|
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-wi... |
|
|