Program Algebras with Monotone Floyd-Hoare Composition.

Andrii Kryvolap Mykola S. Nikitchenko Wolfgang Schreiner

Published in: ICTERI (2013)

Keyphrases

computer programs
upper bound
database
genetic algorithm
image processing
website
image segmentation
temporal reasoning
uniform distribution
error diffusion
web services composition