Newtonian program analysis -- an introduction

DOI10.3233/978-1-60750-100-8-31MaRDI QIDQ3060977zbMATH OpenFDO

Authors Javier Esparza, Michael Luttenberger

Publication date 13 December 2010

Full work available at URL https://doi.org/10.3233/978-1-60750-100-8-31

zbMATH Keywords

Newton's methodprogram analysissemirings

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Newtonian program analysis
• Newtonian program analysis via tensor product
• Newton’s Method for ω-Continuous Semirings
• An Extension of Newton’s Method to ω-Continuous Semirings
• Putting Newton into practice: a solver for polynomial equations over semirings

Cited in

(8)

• Newtonian program analysis via tensor product
• Putting Newton into practice: a solver for polynomial equations over semirings
• Newtonian program analysis
• Newton’s Method for ω-Continuous Semirings
• On Fixed Point Equations over Commutative Semirings
• Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
• Bounded underapproximations
• An Extension of Newton’s Method to ω-Continuous Semirings

This page was built for publication: Newtonian program analysis -- an introduction

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