Derivation tree analysis for accelerated fixed-point computation

DOI10.1016/j.tcs.2011.03.020zbMath1218.68102OpenAlexW1977974782MaRDI QIDQ549189

Michael Luttenberger, Javier Esparza, Stefan Kiefer

Publication date: 7 July 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.03.020

zbMATH Keywords

semiringsfixed-point equationsderivation trees

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Abstract data types; algebraic specification (68Q65) Semirings (16Y60)

Related Items (2)

On the Balancedness of Tree-to-Word Transducers ⋮ On the Balancedness of Tree-to-Word Transducers

Uses Software

• mCRL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weighted pushdown systems and their application to interprocedural dataflow analysis
• A generic approach to the static analysis of concurrent programs with procedures
• COMPUTING LEAST FIXED POINTS OF PROBABILISTIC SYSTEMS OF POLYNOMIALS
• Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
• Efficient Computation of Throughput Values of Context-Free Languages
• On Fixed Point Equations over Commutative Semirings
• Process algebra for synchronous communication
• Process Algebra
• Model Checking Probabilistic Pushdown Automata
• An Extension of Newton’s Method to ω-Continuous Semirings
• Precise Fixpoint Computation Through Strategy Iteration
• Ordering by Divisibility in Abstract Algebras

This page was built for publication: Derivation tree analysis for accelerated fixed-point computation