Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations.
Matthias BlumeAndrew W. AppelPublished in: ICFP (1997)
Keyphrases
- higher order
- lambda calculus
- high order
- pairwise
- natural images
- markov models
- low order
- lower order
- programming language
- markov random field
- verilog hdl
- database
- database query languages
- predicate calculus
- fixed point
- hidden markov models
- relational databases
- decision trees
- website
- image processing
- information systems
- learning algorithm
- genetic algorithm