An Abstract Contract Theory for Programs with Procedures.

Christian Lidström Dilian Gurov

Published in: CoRR (2021)

Keyphrases

databases
theoretical basis
general theory
website
multiscale
search algorithm
higher level
theoretical framework
neural network
data mining
relational databases
low level
source code
conceptual framework
belief functions