On Practical SMT-Based Type Error Localization.

Zvonimir Pavlinovic Tim King Thomas Wies

Published in: CoRR (2015)

Keyphrases

error rate
real world
error analysis
localization error
neural network
search engine
error bounds
real time
genetic algorithm
artificial intelligence
artificial neural networks
practical application
practical problems
object localization
source localization