How to write system-specific, static checkers in metal.

Benjamin Chelf Dawson R. Engler Seth Hallem

Published in: PASTE (2002)

Keyphrases

database
data sets
artificial intelligence
information systems
feature selection
decision making
web services