On Fixed Point Equations over Commutative Semirings

DOI10.1007/978-3-540-70918-3_26MaRDI QIDQ3590943zbMATH OpenOpenAlexFDO

Authors Javier Esparza, Stefan Kiefer, Michael Luttenberger

Publication date 3 September 2007

Published in STACS 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70918-3_26

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semirings (16Y60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Newton’s Method for ω-Continuous Semirings
• An Extension of Newton’s Method to ω-Continuous Semirings
• Newtonian program analysis
• Newtonian program analysis -- an introduction
• Solving fixed point equations over complete semirings

Cited in

(17)

• Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
• SOME FIX-POINT THEOREMS FOR THE COMMUTATIVE ITERATION SEMIGROUPS
• Derivation tree analysis for accelerated fixed-point computation
• Newton’s Method for ω-Continuous Semirings
• Derivation Tree Analysis for Accelerated Fixed-Point Computation
• Space-efficient scheduling of stochastically generated tasks
• Tree dimension in verification of constrained Horn clauses
• scientific article; zbMATH DE number 3904794 (Why is no real title available?)
• On axioms for commutative regular equations without addition.
• An Extension of Newton’s Method to ω-Continuous Semirings
• Solving non-linear Horn clauses using a linear Horn clause solver
• Convergence of Newton's method over commutative semirings
• Solving fixed point equations over complete semirings
• Efficient Computation of Throughput Values of Context-Free Languages
• scientific article; zbMATH DE number 6472488 (Why is no real title available?)
• Equations on semidirect products of commutative semigroups
• Axiomatizing rational power series over natural numbers

This page was built for publication: On Fixed Point Equations over Commutative Semirings

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