117
click to vote
AGP
15 years 4 months ago
1995 IEEE 
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
116
click to vote
AGP
15 years 4 months ago
1995 IEEE 
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
109
click to vote
AGP
15 years 4 months ago
1995 IEEE 
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
79
Voted
AGP
15 years 4 months ago
1995 IEEE  73
Voted
AGP
15 years 4 months ago
1995 IEEE  |
Artificial Intelligence