Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk).
Francesco LogozzoPublished in: VMCAI (2011)
Keyphrases
- invited talk
- abstract interpretation
- model checking
- knowledge discovery and data mining
- termination analysis
- selected papers
- programming language
- real world
- static analysis
- data mining
- artificial intelligence
- data management
- database
- test cases
- reasoning engine
- program committee
- data warehouse
- information technology
- databases