@inproceedings{DBLP:conf/sigplan/BerryEL76, author = {Daniel M. Berry and Z. Erlich and Carlos Jos{\'e} Pereira de Lucena}, title = {Correctness of Data Representations: Pointers in High Level Languages}, booktitle = {Proceedings of the SIGPLAN '76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976}, publisher = {ACM}, year = {1976}, pages = {115-119}, ee = {db/conf/sigplan/BerryEL76.html}, crossref = {DBLP:conf/sigplan/76}, bibsource = {DBLP, http://dblp.uni-trier.de} }BibTeX
Copyright © 1976 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.