Program derivation by fixed point computation

DOI10.1016/0167-6423(88)90033-0MaRDI QIDQ1823657zbMATH OpenOpenAlexFDO

Authors Jiazhen Cai, Robert Paige

Publication date 1989

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(88)90033-0

zbMATH Keywords

computable functionsdesign and verification of nonnumerical algorithmsfixed point computationnondeterministic iterative algorithm schemaprogramprogram derivationtransformations

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)

Recommendations

• scientific article; zbMATH DE number 512950
• scientific article; zbMATH DE number 51717
• Laws of programming
• Computer Aided Verification
• scientific article; zbMATH DE number 719843

Cited in

(21)

• Program construction by verifying specification
• Correctness of fixpoint transformations
• A fixpoint theory for non-monotonic parallelism
• Program schemes with constants
• On Programming by Iterations
• Solving Multiple Dataflow Queries Using WPDSs
• Convergence of chaotic iterative least fixed point computations
• scientific article; zbMATH DE number 512950 (Why is no real title available?)
• scientific article; zbMATH DE number 1948158 (Why is no real title available?)
• scientific article; zbMATH DE number 2012391 (Why is no real title available?)
• Iterate, incrementalize, and implement: a systematic approach to efficiency improvement and guarantees
• Transformational programming and the derivation of algorithms
• Static and dynamic processor allocation for higher-order concurrent languages
• Logic Programming and Nonmonotonic Reasoning
• Letter to the Editor—-A Closed Form Solution of Certain Programming Problems
• Computer Aided Verification
• ConcurrentHOL
• Transformational derivation of an improved alias analysis algorithm
• Least reflexive points of relations
• An NSF proposal
• Properties of data flow frameworks: A unified model

This page was built for publication: Program derivation by fixed point computation

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