Verification of Hibernate Query Language by Abstract Interpretation.

Angshuman Jana Raju Halder Agostino Cortesi

Published in: IScIDE (2) (2015)

Keyphrases

abstract interpretation
query language
model checking
termination analysis
static analysis
data model
regular expressions
active rules
active databases
query evaluation
dynamic analysis
reasoning engine
object oriented
complex objects
database
database management systems
source code
database systems