Convergence of chaotic iterative least fixed point computations

DOI10.1080/00207169108804016zbMath0746.68059OpenAlexW1984743563MaRDI QIDQ3991126

Jiawang Wei, Zezeng Zhang

Publication date: 28 June 1992

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

Full work available at URL: https://doi.org/10.1080/00207169108804016

zbMATH Keywords

fixed pointschaotic iterative computationconvergence of computation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Discrete mathematics in relation to computer science (68R99)

Related Items (1)

Correctness of fixpoint transformations

Cites Work

• Chain-complete posets and directed sets with applications
• Program derivation by fixed point computation
• Global Data Flow Analysis and Iterative Algorithms
• Unnamed Item
• Unnamed Item

This page was built for publication: Convergence of chaotic iterative least fixed point computations