Experience report: Functional programming in C-Rules.

Published in: J. Funct. Program. (2010)

Keyphrases

functional programming
quantifier elimination
functional language
programming language
execution model
object oriented programming
production rules
fine grained
database systems
management system
software engineering
multi dimensional