Bounded Fixed-Point Iteration

DOI10.1093/LOGCOM/2.4.441MaRDI QIDQ5285983zbMATH OpenOpenAlexFDO

Authors Hanne Riis Nielson, Flemming Nielson

Publication date 29 June 1993

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/2.4.441

zbMATH Keywords

abstract interpretationboundsstatic program analysis

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Publication:3026317
• Approximate fixed points in abstract interpretation
• Computer Aided Verification
• Acceleration of the abstract fixpoint computation in numerical program analysis
• Fixed points and frontiers: a new perspective

Cited in

(5)

• Approximate fixed points in abstract interpretation
• Logic programs as compact denotations.
• Local higher-order fixpoint iteration
• scientific article; zbMATH DE number 1487857 (Why is no real title available?)
• Least solutions of equations over \(\mathcal{N}\)

This page was built for publication: Bounded Fixed-Point Iteration

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