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

No abstract available

This publication has 10 references indexed in Scilit:

CODE: a unified approach to parallel programming
IEEE Software, 1989
Generating alignments of genetic sequences
Published by Office of Scientific and Technical Information (OSTI) ,1989
Laws of data refinement
Acta Informatica, 1989
Hierarchical correctness proofs for distributed algorithms
Published by Association for Computing Machinery (ACM) ,1987
An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems, 1986
A new notion of encapsulation
Published by Association for Computing Machinery (ACM) ,1985
Calculi for synchrony and asynchrony
Theoretical Computer Science, 1983
The Science of Programming
Published by Springer Nature ,1981
Proof of correctness of data representations
Acta Informatica, 1972
An axiomatic basis for computer programming
Communications of the ACM, 1969