3 ms·Live Programming and Static Verification of JavaScript (interactive PhD Thesis)3 points by levjj 8y ago