Specification patterns for reasoning about recursion through the store.

Nathaniel Charlton Bernhard Reus

Published in: Inf. Comput. (2013)

Keyphrases

artificial intelligence
pattern mining
similar patterns
real time
high level
database systems
relational databases
knowledge discovery
data mining techniques
design patterns
qualitative reasoning
previously unknown