Practical SMT-based type error localization.

Zvonimir Pavlinovic Tim King Thomas Wies

Published in: ICFP (2015)

Keyphrases

practical application
error rate
real world
artificial intelligence
practical problems
database
databases
social networks
computer vision
e learning
information extraction
error bounds
error analysis
statistical machine translation
localization algorithm
localization error