{"title":"动态存储器静态验证方法的比较分析","authors":"René Haberland","doi":"10.32603/2071-2340-2019-2-5-30","DOIUrl":null,"url":null,"abstract":"This review article provides an overview of recent approaches and techniques in specifying and verifying dynamic memory with class objects. Dynamic memory verification may be used in order to show, for instance, the absence of memory leaks or the validity of memory access.","PeriodicalId":319537,"journal":{"name":"Computer Tools in Education","volume":"164 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Comparative Analysis of Approaches to Static Verification of Dynamic Memory\",\"authors\":\"René Haberland\",\"doi\":\"10.32603/2071-2340-2019-2-5-30\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This review article provides an overview of recent approaches and techniques in specifying and verifying dynamic memory with class objects. Dynamic memory verification may be used in order to show, for instance, the absence of memory leaks or the validity of memory access.\",\"PeriodicalId\":319537,\"journal\":{\"name\":\"Computer Tools in Education\",\"volume\":\"164 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-06-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computer Tools in Education\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.32603/2071-2340-2019-2-5-30\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer Tools in Education","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.32603/2071-2340-2019-2-5-30","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Comparative Analysis of Approaches to Static Verification of Dynamic Memory
This review article provides an overview of recent approaches and techniques in specifying and verifying dynamic memory with class objects. Dynamic memory verification may be used in order to show, for instance, the absence of memory leaks or the validity of memory access.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
