Termination analysis and call graph construction for higher-order functional programs.
Damien SereniPublished in: ICFP (2007)
Keyphrases
- graph construction
- functional programs
- termination analysis
- higher order
- active rules
- active databases
- k nearest neighbor
- knn
- semi supervised learning
- semi supervised
- logic programs
- pairwise
- spectral clustering
- functional language
- dimensionality reduction
- markov random field
- multi label
- integrity constraints
- nearest neighbor
- databases
- database
- description language
- distance function
- data analysis