3 ms·
Okay, but in this case software verification like with Coq or F* could help
by nextaccountic 3y ago
Okay, but in this case software verification like with Coq or F* could help
- hovav 3y agoYes! See, e.g., Fraser Brown et al., "Towards a Verified Range Analysis for JavaScript JITs," in proc. PLDI 2020, https://www.cs.utexas.edu/~hovav/dist/vera.pdf https://www.cs.utexas.edu/~hovav/dist/vera.pdf