Login / Signup

Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification.

Son HoAymeric FromherzJonathan Protzenko
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • source code
  • high cost
  • high level
  • database
  • trade off
  • open source
  • cost sensitive
  • cost savings
  • machine learning
  • artificial intelligence
  • objective function
  • relational databases
  • community detection
  • total cost