Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog
René Haberland, Sergey Ivanovskiy · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2014
A Prolog-based framework for fully automated verification currently under development for heap-based objectoriented 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.