Improving program analyses by structure untupling

Michael Codish, Kim Marriott, Cohavit Taboch

Research output: Contribution to journalArticlepeer-review

6 Scopus citations


It is well-known that adding structural information to an analysis domain can increase the precision of the analysis with respect to the original domain. This paper presents a program transformation based on untupling and specialization which can be applied to upgrade (logic) program analysis by providing additional structural information. It can be applied to (almost) any type of analysis and in conjunction with (almost) any analysis framework for logic programs. The approach is an attractive alternative to the more complex Pat(R) construction which automatically enhances an abstract domain R (in the context of abstract interpretation) with structural information.

Original languageEnglish
Pages (from-to)251-263
Number of pages13
JournalJournal of Logic Programming
Issue number3
StatePublished - 1 Jan 2000

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Improving program analyses by structure untupling'. Together they form a unique fingerprint.

Cite this