Login / Signup

Compositional CompCert.

Gordon StewartLennart BeringerSantiago CuellarAndrew W. Appel
Published in: POPL (2015)
Keyphrases
  • database
  • objective function
  • decision support
  • user defined