Visualizing time dependent semantics: an application to quantum algorithms | IEEE Conference Publication | IEEE Xplore