4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 4 cited
Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog
René Haberland, Sergey Ivanovskiy
A Prolog-based framework for fully automated verification currently under development for heap-based object-oriented data is introduced. Dynamically allocated issues are discussed,…
cs.LO2019★ 2 cited
Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition
René Haberland, Kirill Krinkin, Sergey Ivanovskiy
Abstract predicates are considered in this paper as abstraction technique for heap-separated configurations, and as genuine Prolog predicates which are translated straight into a c…