تقرير
Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog
العنوان: | Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog |
---|---|
المؤلفون: | Haberland, René, Ivanovskiy, Sergey |
المصدر: | ISP-RAS, 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE), 2014, pp.46-50, ISBN 978-5-91474-020-4, ISSN 2311-7230 |
سنة النشر: | 2019 |
المجموعة: | Computer Science |
مصطلحات موضوعية: | Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory |
الوصف: | 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. Comment: 5 pages, 4 figures |
نوع الوثيقة: | Working Paper |
DOI: | 10.15514/SYRCOSE-2014-8-7 |
URL الوصول: | http://arxiv.org/abs/1906.02808 |
رقم الأكسشن: | edsarx.1906.02808 |
قاعدة البيانات: | arXiv |
DOI: | 10.15514/SYRCOSE-2014-8-7 |
---|