Login / Signup
Repairing and mechanising the JavaScript relaxed memory model.
Conrad Watt
Christopher Pulte
Anton Podkopaev
Guillaume Barbier
Stephen Dolan
Shaked Flur
Jean Pichon-Pharabod
Shu-yu Guo
Published in:
PLDI (2020)
Keyphrases
</>
computational model
mathematical model
probabilistic model
management system
probability distribution
web applications
theoretical framework
statistical model
real time
similarity measure
optimal solution
user interface
sensitivity analysis