A verified algebraic representation of Cairo program execution.

Jeremy Avigad Lior Goldberg David Levit Yoav Seginer Alon Titelman

Published in: CoRR (2021)

Keyphrases

program execution
multi processor
qualitative spatial
data sets
machine learning
language learning