Sign in
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