FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings

DOI10.1142/S0129054115400018zbMath1330.68353OpenAlexW2232045809MaRDI QIDQ5744123

Javier Esparza, Michael Luttenberger, Maximilian Schlund

Publication date: 17 February 2016

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054115400018

zbMATH Keywords

Newton's methodsemiringsfixpoint equations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semirings (16Y60)

Related Items (1)

Unnamed Item

Uses Software

• FPsolve

Cites Work

• Weighted pushdown systems and their application to interprocedural dataflow analysis
• Newtonian program analysis
• A Generic Approach to the Static Analysis of Concurrent Programs with Procedures

This page was built for publication: FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings