Verifying Programs that Manipulate Pointers: (Invited Talk).
Anders MøllerPublished in: INFINITY (2003)
Keyphrases
- invited talk
- selected papers
- knowledge discovery and data mining
- book constitutes the refereed proceedings
- control system
- data sets
- model checking
- international workshop
- carefully reviewed and selected from submissions
- program committee
- machine learning
- metadata
- computational intelligence
- programming environment