Login / Signup

Accelerating Verified-Compiler Development with a Verified Rewriting Engine.

Jason GrossAndres ErbsenJade PhilipoomMiraya Poddar-AgrawalAdam Chlipala
Published in: CoRR (2022)
Keyphrases
  • software engineering
  • rapid development
  • st century
  • artificial intelligence
  • database systems
  • expert systems
  • relational databases
  • special case
  • decision support
  • development process
  • future development
  • code generation