Verified code generation for the polyhedral model.

Nathanaël Courant Xavier Leroy

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

Keyphrases

high level
databases
process model
database
real world
metadata
multi agent
expert systems