Invited talk: the blast query language for software verification.
Dirk BeyerAdam ChlipalaThomas A. HenzingerRanjit JhalaRupak MajumdarPublished in: PEPM (2004)
Keyphrases
- invited talk
- query language
- data model
- selected papers
- object oriented
- query evaluation
- knowledge discovery and data mining
- relational algebra
- database
- carefully reviewed and selected from submissions
- program committee
- pairwise
- sequence alignment
- recursive queries
- structured documents
- learning experience
- neural network