Derivation of efficient parallel programs: An example from genetic sequence analysis
From MaRDI portal
Publication:916411
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
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Derivation of efficient parallel programs: An example from genetic sequence analysis