Specification Patterns and Proofs for Recursion through the Store.

Nathaniel Charlton Bernhard Reus

Published in: FCT (2011)

Keyphrases

artificial intelligence
theorem proving
pattern mining
pattern analysis
information retrieval
high level
data mining techniques
user defined
sequential patterns
complex objects
pattern discovery
theorem prover
provably correct
real time
reactive systems
deductive databases
metadata
machine learning
data sets