Abstract Interpretation of Concurrent Languages based on Linear Logic.
Jean-Marc AndreoliTiziana CastagnettiRemo PareschiPublished in: GULP (1993)
Keyphrases
- linear logic
- abstract interpretation
- termination analysis
- static analysis
- logic programming
- fixed point
- active rules
- desirable properties
- model checking
- reasoning engine
- logical framework
- database
- dynamic analysis
- sequent calculus
- cut elimination
- logic programs
- databases
- belief revision
- inference rules
- source code
- object oriented
- state space
- information systems