Conceptual views of data structures as a model of output in programming languages | IEEE Conference Publication | IEEE Xplore