3 ms·
"it can form the basis of automated verification and bug-finding tools for higher-order programs. " Does this mean I can verify C++, Haskell, Python, JavaScrip
by spdegabrielle 11y ago
"it can form the basis of automated verification and bug-finding tools for higher-order programs. "
Does this mean I can verify C++, Haskell, Python, JavaScript & Common Lisp code that uses Higher Order Functions?
- samth 11y agoThat's the idea. We've only done it for Racket so far.