An Abstract Contract Theory for Programs with Procedures.

Christian Lidström Dilian Gurov

Published in: FASE (2021)

Keyphrases

theoretical basis
intermediate level
automatic programming
databases
decision trees
theoretical framework
programming environment
real time
neural network
data structure
artificial neural networks
information theory