On the fixpoints of nondeterministic recursive definitions

DOI10.1016/0022-0000(84)90014-XMaRDI QIDQ1059391zbMATH OpenOpenAlexFDO

Authors Tsong Yueh Chen

Publication date 1984

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(84)90014-x

zbMATH Keywords

Egli orderingfixpoint semantics of boundedly nondeterministic recursive definitions

Mathematics Subject Classification ID

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

Recommendations

• On the structural properties of the set of fixpoints for nondeterministic recursive definitions
• Dual unbounded nondeterminacy, recursion, and fixpoints
• A fixpoint theory for non-monotonic parallelism
• scientific article; zbMATH DE number 1948158
• Relational semantics revisited

Cites work

• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3551848 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Backtracking in recursive computations
• Formalization of correctness of recursive definitions
• Formalization of equivalence of recursively defined functions
• On the relationship between computed functions and fixpoints of nondeterministic recursive definitions
• The Theoretical Aspects of the Optimal Fixedpoint
• The convergence of functions to fixedpoints of recursive definitions

Cited in

(8)

• A generalization of Naundorf's fixpoint theorem
• Dual unbounded nondeterminacy, recursion, and fixpoints
• Fixpoints for general correctness
• On the structural properties of the set of fixpoints for nondeterministic recursive definitions
• Recursive definitions and fixed-points
• scientific article; zbMATH DE number 1948158 (Why is no real title available?)
• From Chaos to Undefinedness
• A fixpoint theory for non-monotonic parallelism

This page was built for publication: On the fixpoints of nondeterministic recursive definitions

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