Abstract Debugging of Higher-Order Imperative Languages.
François BourdonclePublished in: PLDI (1993)
Keyphrases
- higher order
- transactional memory
- high order
- natural images
- expressive power
- language independent
- markov random field
- pairwise
- conditional random fields
- low level
- low order
- lower order
- high level
- n gram
- database
- cross lingual
- target language
- pattern languages
- grammatical inference
- multi lingual
- syntactic and semantic dependencies