Merkliste 
 1 Ergebnisse 
 
1

QuickCheck: using speculation to reduce the overhead of che..:

, In: Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments,
Shull, Thomas ; Huang, Jian ; Torrellas, Josep - p. 137-151 , 2019