Precise goal-independent abstract interpretation of constraint logic programs

MaRDI QIDQ2703757zbMATH OpenFDO

Authors Peter Schachte

Publication date 8 May 2001

zbMATH Keywords

pure constraint logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Precise goal-independent abstract interpretation of constraint logic programs.
• scientific article; zbMATH DE number 512885
• Generalized semantics and abstract interpretation for constraint logic programs
• Differential methods in logic program analysis
• Abstract interpretation and application to logic programs

Cited in

(6)

• Precise goal-independent abstract interpretation of constraint logic programs.
• A constraint solver based on abstract domains
• Generalized semantics and abstract interpretation for constraint logic programs
• Differential methods in logic program analysis
• scientific article; zbMATH DE number 7455706 (Why is no real title available?)
• Making abstract domains condensing

This page was built for publication: Precise goal-independent abstract interpretation of constraint logic programs

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