Improving program analyses by structure untupling

It is well-known that adding structural information to an analysis domain c an increase the precision of the analysis with respect to the original doma in. This paper presents a program transformation based on untupling and spe cialisation which can be applied to upgrade (logic) program analysis by pro viding additional structural information. It can be applied to (almost) any type of analysis and in conjunction with (almost) any analysis framework f or logic programs. The approach is an attractive alternative to the more co mplex Pat(R) construction which automatically enhances an abstract domain R (in the context of abstract interpretation) with structural information. ( C) 2000 Elsevier Science Inc. All rights reserved.