Program veriication is a crucial issue in the eld of program development, compilation and debugging. In this paper, we present an analyser for Prolog which aims at verifying whether the execution of a program behaves according to a given speciication (behavioural assumptions). The analyser is based on the methodology of abstract interpretation. A novel… (More)
In this paper a general purpose fuzzy expert system is presented for low level image segmentation. By means of approximate reasoning based on fuzzy logic, the criticality of the choice of the several thresholds and parameters which usually must be tuned to make the expert system work properly is reduced. More specifically, it is proved that, by keeping… (More)
We investigated individuals' ability to use negative evidence in hypothesis testing. We compared performance in two versions of Wason's (1960) rule discovery problem. In the original version, a triple of numbers--(2, 4, 6)--was presented as an example of a rule that the experimenter had in mind (i.e., "increasing numbers"). Participants had to discover the… (More)
A novel abstract interpretation framework is introduced, which captures Prolog depth-rst strategy and the cut operation. The framework is based on a new conceptual idea, the notion of substitution sequences, and the traditional xpoint approach to abstract interpretation. It broadens the class of analyses that are amenable in practice to abstract… (More)
Aim of this paper is to provide an overview of the on-board signal acquisition techniques suited for Deep Space Transponders addressing also mission aspects and implementation issues.