Abstract interpretation based on oldt resolution

DOI10.1016/0743-1066(93)90011-5zbMath0787.68019OpenAlexW2079482412MaRDI QIDQ4036279

Tadashi Kawamura, Tadashi Kanamori

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

Prolog programsabstract interpreterOLDT resolutiontop-down Prolog interpreter

Mathematics Subject Classification ID

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

Related Items (7)

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP ⋮ On the graph traversal method for evaluating linear binary-chain programs ⋮ A polymorphic type dependency analysis for logic programs ⋮ Improving precision of type analysis using non-discriminative union ⋮ 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

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