Bootstrapping higher-order program transformers from interpreters.
Michael SperberRobert GlückPeter ThiemannPublished in: SAC (1996)
Keyphrases
- higher order
- high order
- pairwise
- static analysis
- computer programs
- markov models
- low order
- markov random field
- natural images
- representation language
- description language
- conditional random fields
- information extraction
- lower order
- fault localization
- program execution
- control program
- real time
- program understanding
- inductive learning
- computer systems
- image sequences
- case study
- e learning
- learning algorithm