scientific article; zbMATH DE number 4178750

zbMATH Open0715.68016MaRDI QIDQ3201751FDOQ3201751

Ulf Nilsson

Publication date: 1989

Title of this publication is not available (Why is that?)

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

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)

Cited In (18)

• Title not available (Why is that?)
• Precise goal-independent abstract interpretation of constraint logic programs.
• Static analysis of logic programs for independent and parallelism
• Sequence-based abstract interpretation of Prolog
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lifting abstract interpreters to quantified logical domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• An abstract interpretation framework for optimizing dynamic modular logic languages
• Abstract interpretation based on oldt resolution
• A practical framework for theabstract interpretation of logic programs
• Title not available (Why is that?)
• Program Development in Computational Logic
• Internal and External Logics of Abstract Interpretations
• Bottom-up abstract interpretation of logic programs
• Semantics-based program analysis for logic-based languages using XSB
• Abstract interpretation and application to 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)