Denotational Abstract Interpretation of Logic Programs

Kim Marriott, Harald S√łndergaard, Neil D. Jones. Denotational Abstract Interpretation of Logic Programs. ACM Transactions on Programming Languages and Systems, 16(3):607-648, 1994. [doi]

Abstract

Abstract is missing.