Immediate fixpoints and their use in groundness analysis

DOI10.1007/3-540-62034-6_63MaRDI QIDQ6567786zbMATHFDO

Authors Harald Søndergaard

Publication date 5 July 2024

Mathematics Subject Classification ID

Logic programming (68N17) Complete lattices, completions (06B23) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1487944
• A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming
• A fixed point theorem for non-monotonic functions
• Publication:3026317
• Domain theory for nonmonotonic functions

Cites work

• scientific article; zbMATH DE number 3501560 (Why is no real title available?)
• Abstract interpretation and application to logic programs
• Evaluation of the domain prop
• Two classes of Boolean functions for dependency analysis

This page was built for publication: Immediate fixpoints and their use in groundness analysis

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