Accumulators: A New Logic Variable Abstractions for Functional Languages.
Keshav PingaliKattamuri EkanadhamPublished in: FSTTCS (1988)
Keyphrases
- expressive power
- multi valued
- functional language
- highly expressive
- classical logic
- modal logic
- high level
- logic programming
- data sets
- language independent
- logical framework
- predicate logic
- computational properties
- functional programming
- databases
- proof theory
- constraint language
- text summarization
- formal language
- statistical machine translation
- database
- cross lingual
- query language