An efficient algorithm for type-safe structural diffing.
Victor Cacciari MiraldoWouter SwierstraPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- k means
- optimization algorithm
- computationally efficient
- learning algorithm
- experimental evaluation
- single pass
- segmentation algorithm
- times faster
- dynamic programming
- computational cost
- high accuracy
- matching algorithm
- estimation algorithm
- preprocessing
- detection algorithm
- optimal solution
- improved algorithm
- recognition algorithm
- highly efficient
- expectation maximization
- theoretical analysis
- worst case
- search space
- objective function
- clustering method
- linear programming
- convergence rate
- probabilistic model
- selection algorithm
- np hard
- feature space