Safe Specification of Operator Precedence Rules.

Ali Afroozeh Mark van den Brand Adrian Johnstone Elizabeth Scott Jurgen J. Vinju

Published in: SLE (2013)

Keyphrases

business rules
association rules
human experts
rule sets
database
high level
active rules
knowledge discovery
association rule mining
user defined
classification rules
production rules
specification language
rule discovery
formal verification