Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog
Published in Proceedings of the Spring/Summer young researchers' colloquium on software engineering • Jan 1, 2014
NobleIDNI5P15W98R99S69
Authors:,
René Haberland
Sergey Ivanovskiy
Abstract
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, pro...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!