A mode analysis of logic programs by abstract interpretation

DOI10.1007/3-540-62064-8_30MaRDI QIDQ6570937zbMATH OpenFDO

Authors Lunjin Lu

Publication date 11 July 2024

zbMATH Keywords

abstract interpretationaliasingabstract unification

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1615253
• Abstract interpretation and application to logic programs
• A practical framework for theabstract interpretation of logic programs
• Compile-time derivation of variable dependency using abstract interpretation
• Path dependent analysis of logic programs

Cites work

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• Abstract interpretation and application to logic programs
• Automatic mode inference for logic programs

This page was built for publication: A mode analysis of logic programs by abstract interpretation

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