Improving program analyses, by structure untupling

DOI10.1016/S0743-1066(99)00079-5MaRDI QIDQ4949972zbMATH OpenFDO

Authors Michael Codish, Kim Marriott, Cohavit Taboch

Publication date 7 May 2000

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

Full work available at URL https://doi.org/10.1016/S0743-1066(99)00079-5

zbMATH Keywords

program analysisuntupling

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Short Notes: Towards a Single Criterion for Identifying Program Unstructuredness
• Short Notes: Towards a Single Criterion for Identifying Program Unstructuredness
• Iterative-free program analysis
• Analyzing program analyses
• Anti-unification algorithms and their applications in program analysis
• Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
• An approach to analyzing the properties of programs
• Static analysis of multi-staged programs via unstaging translation
• Program Extraction in Constructive Analysis

Cited in

(2)

• On the interaction between sharing and linearity
• Analysis of Knoop indentation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4949972)