A model for reasoning about JavaScript promises.

Magnus Madsen Ondrej Lhoták Frank Tip

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

neural network
mathematical model
probabilistic model
parameter estimation
computational model
theoretical framework
statistical model
simulation model
learning algorithm
multi agent
learning environment
cost function
management system
software engineering
formal model