Neural Termination Analysis.

Mirco Giacobbe Daniel Kroening Julian Parsert

Published in: CoRR (2021)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
neural network
integrity constraints
database
databases
deductive databases
information systems
programming language
spatial information
distributed databases
object oriented databases
transaction processing
control flow