Invited talk: the blast query language for software verification.
Dirk BeyerAdam ChlipalaThomas A. HenzingerRanjit JhalaRupak MajumdarPublished in: PPDP (2004)
Keyphrases
- invited talk
- query language
- data model
- selected papers
- database
- query evaluation
- knowledge discovery and data mining
- object oriented
- carefully reviewed and selected from submissions
- relational algebra
- xml data
- search tools
- information technology
- learning systems
- artificial neural networks
- structured documents
- data structure
- sequence alignment
- machine learning
- data mining
- real world