scientific article; zbMATH DE number 4178750

MaRDI QIDQ3201751zbMATH OpenFDO

Authors Ulf Nilsson

Publication date 1989

zbMATH Keywords

abstract interpretationsemantic of logic programs

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Recommendations

• Abstract interpretation and application to logic programs
• scientific article; zbMATH DE number 1497823
• A practical framework for theabstract interpretation of logic programs
• Bottom-up abstract interpretation of logic programs
• Abstract interpretation based verification of logic programs

Cited in

(25)

• Abstract interpretation of resolution-based semantics
• Bottom-up abstract interpretation of logic programs
• An abstract interpretation framework for optimizing dynamic modular logic languages
• Precise goal-independent abstract interpretation of constraint logic programs.
• Semantics-based program analysis for logic-based languages using XSB
• Logical approximation for program analysis
• scientific article; zbMATH DE number 1696776 (Why is no real title available?)
• Lifting abstract interpreters to quantified logical domains
• scientific article; zbMATH DE number 3938547 (Why is no real title available?)
• scientific article; zbMATH DE number 3978439 (Why is no real title available?)
• Abstract interpretation and application to logic programs
• Static analysis of logic programs for independent and parallelism
• Abstract interpretation based on oldt resolution
• scientific article; zbMATH DE number 1222416 (Why is no real title available?)
• scientific article; zbMATH DE number 549959 (Why is no real title available?)
• scientific article; zbMATH DE number 1942465 (Why is no real title available?)
• scientific article; zbMATH DE number 1953275 (Why is no real title available?)
• Sequence-based abstract interpretation of Prolog
• scientific article; zbMATH DE number 879006 (Why is no real title available?)
• Correct answers for first order logic
• A freeness and sharing analysis of logic programs based on a pre-interpretation
• A novel derivation framework for definite logic program
• Internal and External Logics of Abstract Interpretations
• Program Development in Computational Logic
• A practical framework for theabstract interpretation of logic programs

This page was built for publication:

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