Login / Signup
Accelerating Verified-Compiler Development with a Verified Rewriting Engine.
Jason Gross
Andres Erbsen
Jade Philipoom
Miraya Poddar-Agrawal
Adam Chlipala
Published in:
ITP (2022)
Keyphrases
</>
general purpose
case study
high level
software engineering
knowledge based systems
real time
data mining
decision making
data exchange
rapid development