An abstract stack based approach to verified compositional compilation to machine code.

Yuting Wang Pierre Wilke Zhong Shao

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

Keyphrases

code generation
source code
data sets
instruction scheduling
neural network
website
high level
data structure
higher level
database
case study
multi agent
low level
data flow
parallel machines
programs written