From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages.
David SandsPublished in: POPL (1997)
Keyphrases
- functional language
- logical rules
- functional programming
- expressive power
- association rules
- decision making
- proof planning
- language independent
- highly expressive
- rule extraction
- data sets
- theorem prover
- transformation rules
- language identification
- linear logic
- classification rules
- attribute values
- description logics
- programming language
- databases