Compiling symbolic execution with staging and algebraic effectsOpen Website

Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf

Published: 2020, Last Modified: 12 May 2023Proc. ACM Program. Lang. 2020Readers: Everyone
0 Replies