Mostly Sound Type System Improves a Foundational Program Verifier.

Josiah Dodds Andrew W. Appel

Published in: CPP (2013)

Keyphrases

real time
website
feature selection
genetic algorithm
relational databases
computer programs
program execution
type checking