Bottom-up dataflow analysis of normal logic programs

DOI10.1016/0743-1066(92)90031-WMaRDI QIDQ4012707zbMATH OpenDBLPWikidataFDO

Authors Kim Marriott, Harald Søndergaard

Publication date 27 September 1992

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(92)90031-W

zbMATH Keywords

bottom-up analysisGalois connectionsnormal logic programssemantics-based dataflow analysis

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic programming (68N17) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Abstract interpretation of logic programs using magic transformations
• scientific article; zbMATH DE number 879004
• Abstract interpretation and application to logic programs
• A denotational semantics and dataflow construction for logic programs
• Bottom-up abstract interpretation of logic programs

Cited in

(13)

• S-semantics for logic programming: a retrospective look
• A denotational semantics and dataflow construction for logic programs
• Frameworks for abstract interpretation
• SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs
• Path dependent analysis of logic programs
• scientific article; zbMATH DE number 1696888 (Why is no real title available?)
• Truth versus information in logic programming
• Abstract interpretation of logic programs using magic transformations
• Efficient dataflow analysis of logic programs
• scientific article; zbMATH DE number 879004 (Why is no real title available?)
• scientific article; zbMATH DE number 1442044 (Why is no real title available?)
• Repeated redundant inequalities in constraint logic programming
• Syntactic and semantic soundness of structural dataflow analysis

This page was built for publication: Bottom-up dataflow analysis of normal logic programs

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