A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation.
Christian CodognetPhilippe CodognetPublished in: Constraint Processing, Selected Papers (1995)
Keyphrases
- abstract interpretation
- active rules
- termination analysis
- constraint language
- integrity constraints
- static analysis
- deductive databases
- active databases
- model checking
- formal semantics
- logic programming
- object oriented databases
- logic programs
- multi agent systems
- business rules
- semantic information
- data management
- object oriented