Improving program analyses, by structure untupling

DOI10.1016/S0743-1066(99)00079-5zbMath0955.68021MaRDI QIDQ4949972

Kim Marriott, Michael Codish, Cohavit Taboch

Publication date: 7 May 2000

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

program analysisuntupling

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

On the interaction between sharing and linearity

This page was built for publication: Improving program analyses, by structure untupling