ДИНАМИКАЛЫҚ ЖАДЫНЫ МОДЕЛЬДЕУГЕ АРНАЛҒАН ДЕРЕКТЕРДІҢ АБСТРАКТІ ТИПІ
##plugins.pubIds.doi.readerDisplayName##:
https://doi.org/10.51452/kazatu.2021.1(108).157Ключевые слова:
көрсеткішті талдау, алиастарды есептеу, бөлу логикасы, динамикалық жады, верификация, бағдарламалық талдау, верификациялық трансляторАннотация
Мақалада деректердің жаңа абстрактілі типтері мен көрсеткіштерін енгізу арқылы білімді бейнелеудің формальды-тұжырымдамалық тәсілдері сипатталған, сонымен қатар осы саланың дамуының ұзақ тарихында туындаған көрсеткіштік талдаулар мен ашық мәселелерді зерттеудің қазіргі бағыттары талқыланады. Бағдарламалардың тиімділігін, дәлірек айтсақ, оның динамикалық жадымен дұрыс жұмыс істеуін бағалауға мүмкіндік беретін, сонымен қатар оның жұмысын жақсартатын көрсеткіштерге салыстырмалы талдау (pointer analysis) жүргізілді. Көрсеткіштерді талдаудың екі әдісі: алиастарды есептеу (Calculus of Aliasing) және бөлу логикасын есептеу (Separation Logic)туралы қысқаша сипаттама берілді, MoRe бағдарламалау тілі, оның формальды синтаксисі және құрылымдық оперативті семантикасы жасалған. Бөлу логикасы, кез-келген алиастарды есептеу үшін көрсеткіштерді талдау арқылы бағдарламаларды синтаксистік тексеруге арналған алгоритмдердің тиімділігінің дәлелдемесі келтірілген.
