Effect-driven QuickChecking of compilers.

Jan Midtgaard Mathias Nygaard Justesen Patrick Kasting Flemming Nielson Hanne Riis Nielson

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

Keyphrases

general purpose
neural network
data driven
hardware and software
negative impact
bayesian networks
reinforcement learning
computer architecture
real time
learning algorithm
expert systems
information technology
probabilistic model