Incremental checking of well-founded recursive specifications modulo axioms.

Felix Schernhammer José Meseguer

Published in: PPDP (2011)

Keyphrases

recursive programs
incremental learning
knowledge base
delay insensitive
incremental version
first order logic
transformation rules
data driven
high level
control flow
information systems
data sets
formal specification
incremental clustering
data mining
neural network
databases