Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract).
Patrick CousotRadhia CousotPublished in: JTASPEFT/WSA (1991)
Keyphrases
- extended abstract
- functional programs
- abstract interpretation
- termination analysis
- static analysis
- functional language
- logic programs
- active rules
- model checking
- reasoning engine
- relational databases
- active databases
- dynamic analysis
- data model
- programming language
- functional programming
- source code
- relational model