A mode analysis of logic programs by abstract interpretation

DOI10.1007/3-540-62064-8_30zbMATH Open1541.68074MaRDI QIDQ6570937FDOQ6570937

Authors: Lunjin Lu 

Publication date: 11 July 2024

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

zbMATH Keywords

abstract interpretationaliasingabstract unification

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Abstract interpretation and application to logic programs
• Title not available (Why is that?)
• 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)