Journal: J. Vis. Lang. Comput.