Sciweavers

AGP
1995
IEEE
14 years 2 months ago
Domain Independent Ask Approximation in CCP
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...
Enea Zaffanella
AGP
1995
IEEE
14 years 2 months ago
A Tabulation Transformation Tactic Using Haskell Arrays
Cristóbal Pareja, Ricardo Pena, J. Á...
AGP
1995
IEEE
14 years 2 months ago
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
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...
Roberto Bagnara
AGP
1995
IEEE
14 years 2 months ago
A Prolog Implementation of Kem
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...
Alberto Artosi, Paola Cattabriga, Guido Governator...