Java bytecode verification with dynamic structures.

Published in: IASTED Conf. on Software Engineering and Applications (2004)