SyTeCi: automating contextual equivalence for higher-order programs with references.
Guilhem JaberPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- higher order
- high order
- contextual information
- pairwise
- markov random field
- conditional random fields
- programming environment
- markov models
- natural images
- automatic programming
- low order
- context sensitive
- decision trees
- database
- denoising
- computer vision
- computer programs
- information retrieval
- equivalence relation
- data mining
- real time