Repairing and Mechanising the JavaScript Relaxed Memory Model.
Conrad WattChristopher PulteAnton PodkopaevGuillaume BarbierStephen DolanShaked FlurJean Pichon-PharabodShu-yu GuoPublished in: CoRR (2020)
Keyphrases
- computational model
- probabilistic model
- prediction model
- mathematical model
- probability distribution
- multiscale
- data structure
- prior knowledge
- input data
- theoretical analysis
- similarity measure
- expert systems
- information retrieval
- high level
- management system
- website
- theoretical framework
- decision making
- web server
- formal model
- learning algorithm