Deep typechecking and refactoring.

Zachary Tatlock Chris Tucker David Shuffelton Ranjit Jhala Sorin Lerner

Published in: OOPSLA (2008)

Keyphrases

software systems
source code
deep learning
regular expressions
tree automata
object oriented systems
neural network
feature selection
databases
learning algorithm
data structure
hidden markov models
software engineering
open source
belief nets