Immediate fixpoints and their use in groundness analysis

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

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)

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)