The Blast Query Language for Software Verification..

Dirk Beyer Adam Chlipala Thomas A. Henzinger Ranjit Jhala Rupak Majumdar

Published in: SAS (2004)

Keyphrases

query language
data model
expressive power
database
object oriented
relational algebra
query evaluation
complex objects
recursive queries
computer vision
regular expressions
xml data
e learning
conjunctive queries
decision making
search tools
transitive closure
sequence alignment