AUTOMATIC MODE INFERENCE FOR LOGIC PROGRAMS

This paper presents the scheme of mode inference within the theoreticalframe of abstract interpretation for logic programs. In particular, it discusses the treatment of variable-aliasing and the computation of fixpoints in considerable detail, andputs forward a sound and efficient way to process variable-aliasing and an algorithm tocompute fixpoints based on "extension table" technique. This scheme has been implemented in Prolog.