- Full text PDF available (2)
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)
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.