Specialisation of Prolog and FCP Programs Using Abstract Interpretation.
John P. GallagherMichael CodishEhud ShapiroPublished in: New Gener. Comput. (1988)
Keyphrases
- abstract interpretation
- termination analysis
- static analysis
- prolog programs
- active rules
- model checking
- reasoning engine
- dynamic analysis
- active databases
- programming language
- logic programs
- logic programming
- knowledge representation
- information systems
- source code
- database
- reverse engineering
- software engineering
- data model
- expert systems