Login / Signup

Accelerating Verified-Compiler Development with a Verified Rewriting Engine.

Jason GrossAndres ErbsenJade PhilipoomMiraya Poddar-AgrawalAdam 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