Context-Sensitive Multivariant Assertion Checking in Modular Programs.

Pawel Pietrzak Jesús Correas Germán Puebla Manuel V. Hermenegildo

Published in: LPAR (2006)

Keyphrases

context sensitive
multiple task learning
language model
information retrieval
natural language
context free
spelling correction
information retrieval systems
active learning
theoretical analysis
n gram
language modeling
graph grammars