Fixed points and frontiers: a new perspective

DOI10.1017/S0956796800000071MaRDI QIDQ4939693zbMATH OpenOpenAlexFDO

Authors Sebastian Hunt, Chris Hankin

Publication date 9 February 2000

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796800000071

zbMATH Keywords

abstract interpretationabstract domainscomputation of fixed pointsfrontiers algorithm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Publication:3026317
• Approximate fixed points in abstract interpretation
• Computer Aided Verification
• Abstract fixpoint computations with numerical acceleration methods
• scientific article; zbMATH DE number 1759702

Cited in

(3)

• Least solutions of equations over N
• scientific article; zbMATH DE number 4014000 (Why is no real title available?)
• Approximate fixed points in abstract interpretation

This page was built for publication: Fixed points and frontiers: a new perspective

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