STLlint: lifting static checking from languages to libraries.

Douglas P. Gregor Sibylle Schupp

Published in: Softw. Pract. Exp. (2006)

Keyphrases

expressive power
wavelet transform
language independent
databases
type checking
digital libraries
cross lingual
target language
machine learning
information retrieval
learning algorithm
lifting scheme
multi lingual
english text