Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog
classification
💻 cs.LO
cs.FL
keywords
allocateddynamicallyintroducedobject-orientedverificationanalysedapproachesarchitecture
read the original abstract
A Prolog-based framework for fully automated verification currently under development for heap-based object-oriented data is introduced. Dynamically allocated issues are discussed, recent approaches and criteria are analysed. The architecture and its components are introduced by example. Finally, propositions to further and related work are given.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.