Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation.

Geoff W. Hamilton Neil D. Jones

Published in: Ershov Memorial Conference (2011)

Keyphrases

information systems
search algorithm
computer programs
genetic algorithm
website
web services
image registration
control program