Derivation of efficient parallel programs: An example from genetic sequence analysis

DOI10.1007/BF01381718zbMath0703.68076OpenAlexW1995099081MaRDI QIDQ916411

Ambuj K. Singh, Ross A. Overbeek

Publication date: 1990

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01381718

zbMATH Keywords

stepwise refinementprogram correctnessprogram implementation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

Program refinement in fair transition systems

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Calculi for synchrony and asynchrony
• Laws of data refinement
• Proof of correctness of data representations
• An example of stepwise refinement of distributed programs: quiescence detection
• An axiomatic basis for computer programming

This page was built for publication: Derivation of efficient parallel programs: An example from genetic sequence analysis