{"title":"Correctness of Data Representations: Pointers in High Level Languages","authors":"D. Berry, Z. Erlich, C. Lucena","doi":"10.1145/942574.807129","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":407603,"journal":{"name":"Conference on Data: Abstraction, Definition and Structure","volume":"75 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Conference on Data: Abstraction, Definition and Structure","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/942574.807129","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}