Abstract interpretation based on oldt resolution

DOI10.1016/0743-1066(93)90011-5MaRDI QIDQ4036279zbMATH OpenOpenAlexFDO

Authors Tadashi Kanamori, Tadashi Kawamura

Publication date 16 May 1993

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

Full work available at URL https://doi.org/10.1016/0743-1066(93)90011-5

zbMATH Keywords

abstract interpreterOLDT resolutionProlog programstop-down Prolog interpreter

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• Sequence-based abstract interpretation of Prolog
• scientific article; zbMATH DE number 4178750
• Abstract interpretation of resolution-based semantics
• Abstract interpretation and application to logic programs
• scientific article; zbMATH DE number 4060764

Cited in

(8)

• OLDTNF-based evaluation method for handling recursive queries in deductive databases
• Type inference in Prolog: A new approach
• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
• A polymorphic type dependency analysis for logic programs
• scientific article; zbMATH DE number 3982556 (Why is no real title available?)
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
• Improving precision of type analysis using non-discriminative union
• On the graph traversal method for evaluating linear binary-chain programs

This page was built for publication: Abstract interpretation based on oldt resolution

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