A formal foundation for symbolic evaluation with merging.

Sorawee Porncharoenwase Luke Nelson Xi Wang Emina Torlak

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

Keyphrases

evaluation model
evaluation framework
high level
multiscale
data structure
low level
comparative evaluation
evaluation process