Immediate fixpoints and their use in groundness analysis

DOI10.1007/3-540-62034-6_63zbMATH Open1541.68211MaRDI QIDQ6567786FDOQ6567786

Authors: Harald Søndergaard 

Publication date: 5 July 2024

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

Mathematics Subject Classification ID

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

Cites Work

• Abstract interpretation and application to logic programs
• Two classes of Boolean functions for dependency analysis
• Title not available (Why is that?)
• Evaluation of the domain prop

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)