The Impact of Abstract Interpretation: An Experiment in Code Generation.
André MariënGerda JanssensAnne MulkersMaurice BruynooghePublished in: ICLP (1989)
Keyphrases
- code generation
- abstract interpretation
- termination analysis
- application development
- software development
- static analysis
- code generator
- rapid prototyping
- software reuse
- active rules
- modeling language
- formal specification
- model driven
- dynamic analysis
- software engineering
- reverse engineering
- databases
- model checking
- test cases
- data integration
- logic programming
- data processing
- web applications
- source code