Sign in

Mostly Sound Type System Improves a Foundational Program Verifier.

Josiah DoddsAndrew W. Appel
Published in: CPP (2013)
Keyphrases
  • real time
  • website
  • feature selection
  • genetic algorithm
  • relational databases
  • computer programs
  • program execution
  • type checking