AI Chat AI Image Generator AI Video Text to Speech

Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog

06/06/2019

∙

by René Haberland, et al.

∙

∙

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.

René Haberland
10 publications
Sergey Ivanovskiy
2 publications

page 1

page 2

page 3

page 4

research

∙ 12/05/2022

Proving False in Object-Oriented Verification Programs by Exploiting Non-Termination

We looked at three different object-oriented program verifiers: Gobra, K...

0 Jaymon Furniss, et al. ∙

research

∙ 06/03/2023

Verifying C++ Dynamic Binding

We propose an approach for modular verification of programs written in a...

0 Niels Mommen, et al. ∙

research

∙ 10/14/2015

Inheritance in Object-Oriented Knowledge Representation

This paper contains the consideration of inheritance mechanism in such k...

0 Dmytro Terletskyi, et al. ∙

research

∙ 09/14/2021

The concept of class invariant in object-oriented programming

Class invariants – consistency constraints preserved by every operation ...

0 Bertrand Meyer, et al. ∙

research

∙ 09/24/2021

A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems

Verification is a critical process in the development of engineered syst...

0 Peng Xu, et al. ∙

research

∙ 12/28/2022

Verification of C++ Programs with VeriFast

VeriFast is a prototype tool based on separation logic for modular verif...

0 Niels Mommen, et al. ∙

research

∙ 06/21/2023

A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages

In object-oriented languages, method visibility modifiers hold a key rol...

0 Iona Thomas, et al. ∙