Y
Hacker News
new
|
ask
|
show
|
jobs
by
nextaccountic
982 days ago
Okay, but in this case software verification like with Coq or F* could help
1 comments
hovav
982 days ago
Yes! 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
link