English

Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog

Logic in Computer Science 2019-06-10 v1 Formal Languages and Automata Theory
Authors: René Haberland , Sergey Ivanovskiy
View on arXiv ↗ PDF ↗ DOI ↗

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.

Keywords

formal verification program analysis logic programming

Cite

@article{arxiv.1906.02808,
  title  = {Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog},
  author = {René Haberland and Sergey Ivanovskiy},
  journal= {arXiv preprint arXiv:1906.02808},
  year   = {2019}
}

Comments

5 pages, 4 figures

Related papers

View all related →
Logic in Computer Science · Computer Science
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory
René Haberland
2021-04-06
Logic in Computer Science · Computer Science
Review of Recent Heap Specification and Verification Techniques
René Haberland
2022-03-25
Logic in Computer Science · Computer Science
Efficient Description Logic Reasoning in Prolog: The DLog system
Gergely Lukácsy, Péter Szeredi
2009-04-09
Programming Languages · Computer Science
Mapping Objects to Persistent Predicates
José E. Zalacain Llanes
2017-05-02
Logic in Computer Science · Computer Science
AutoProof: Auto-active Functional Verification of Object-oriented Programs
Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova
2015-09-01
Programming Languages · Computer Science
Applying Prolog to Develop Distributed Systems
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko, Atul Singh
2010-07-23
Logic in Computer Science · Computer Science
A Stricter Heap Separating Points-To Logic
René Haberland, Kirill Krinkin
2019-06-28
Computer Vision and Pattern Recognition · Computer Science
Object Detection with Deep Reinforcement Learning
Manoosh Samiei, Ruofeng Li
2022-08-10
Programming Languages · Computer Science
On the Implementation of the Probabilistic Logic Programming Language ProbLog
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa +1
2011-03-04
Programming Languages · Computer Science
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
Long H. Pham, Jun Sun, Quang Loc Le
2019-08-28
Formal Languages and Automata Theory · Computer Science
A Framework for Formal Verification of DRAM Controllers
Lukas Steiner, Chirag Sudarshan, Matthias Jung, Dominik Stoffel +1
2022-10-03
Robotics · Computer Science
When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications
Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon +2
2023-09-27
Logic in Computer Science · Computer Science
Extending Prolog for Quantified Boolean Horn Formulas
Anish Mallick, Anil Shukla
2021-03-02
Hardware Architecture · Computer Science
Descriptor-Based Object-Aware Memory Systems: A Comprehensive Review
Dong Tong
2025-11-11
Programming Languages · Computer Science
Interacting via the Heap in the Presence of Recursion
Jurriaan Rot, Irina Măriuca Asăvoae, Frank de Boer, Marcello M. Bonsangue +1
2012-12-18
Logic in Computer Science · Computer Science
On the Completeness of Selective Unification in Concolic Testing of Logic Programs
Fred Mesnard, Etienne Payet, German Vidal
2016-08-11
Programming Languages · Computer Science
Deciding Memory Safety for Single-Pass Heap-Manipulating Programs
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan +1
2020-01-01
Logic in Computer Science · Computer Science
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
2007-05-23
Logic in Computer Science · Computer Science
Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
Yuanrui Zhang
2025-01-30
Programming Languages · Computer Science
A Type-Based Complexity Analysis of Object Oriented Programs
Emmanuel Hainry, Romain Péchoux
2018-02-20
Logic in Computer Science · Computer Science
Bounded Model Checking of Pointer Programs Revisited
Witold Charatonik, Piotr Witkowski
2016-03-02
Computation and Language · Computer Science
An Object-Oriented and Fast Lexicon for Semantic Generation
Maarten Hijzelendoorn, Crit Cremers
2009-05-21
Computation and Language · Computer Science
Deep Learning and Machine Learning, Advancing Big Data Analytics and Management: Object-Oriented Programming
Tianyang Wang, Ziqian Bi, Keyu Chen, Jiawei Xu +11
2025-12-24
Optimization and Control · Mathematics
Provably Correct Learning Algorithms in the Presence of Time-Varying Features Using a Variational Perspective
Joseph E. Gaudio, Travis E. Gibson, Anuradha M. Annaswamy, Michael A. Bolender
2019-05-29
Logic in Computer Science · Computer Science
On Feasibility of Declarative Diagnosis
Włodzimierz Drabent
2023-08-31