Work

Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog

Year: 2014

Type: conference-paper

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, propositions to further and related work are given.

Source: Proceedings of the Spring/Summer young researchers' colloquium on software engineering

DOI: 10.15514/syrcose-2014-8-7

Authors: Rene Haberland, Sergey Ivanovskiy

Institution: Saint Petersburg State Electrotechnical University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W170664415

FWCI: 0.196

Cites: 26

Cited by: 4

Related to: 10