Sound and reusable components for abstract interpretation.
Sven KeidelSebastian ErdwegPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- reusable components
- abstract interpretation
- static analysis
- source code
- termination analysis
- software reuse
- design rationale
- active rules
- model checking
- software components
- learning objects
- reasoning engine
- software development
- dynamic analysis
- open source
- active databases
- artificial intelligence
- software systems
- multi agent
- software projects
- semi automatic
- web services