Бағдарламалау тілінің теориясы
-
Актер моделінің тарихы және дамуы
Актор моделі: қатарлы есептеудің математикалық моделі, 1973 ж. жарияланды. Архитектура, құрастыру, ашық жүйелерге қолданылу зерттелді. Қуаты зерттелді.
-
Инварианттар негізінде бағдарламалау әдістемесі
Инварианттар негізінде бағдарламалау: бағдарлама кодынан бұрын талаптар мен инварианттарды жазу. Қателерді табу, дұрыстықты тексеруге көмектеседі. Автоматтандыру мүмкіндігі.
-
Функционалды бағдарламалауда катаморфизмдер мен анаморфизмдер
Функционалды бағдарламалауда катаморфизм – бастапқы алгебрадан басқа алгебраға бірегей гомоморфизм. Анамморфизм мен гиломорфизм туралы біліңіз.
-
Бөлу логикасы: программаларды дәлелдеудің кеңейтілген әдісі
Компьютер ғылымындағы бөлу логикасы – Хоар логикасының кеңейтілген түрі. Программаларды талдау, жадты басқару үшін қолданылады. (158 әріп)
-
Негізгі тип қасиеті және типтерді анықтау
Типтер теориясындағы негізгі тип қасиеті, термин үшін барлық басқа типтердің жалпылануын қамтамасыз етеді. ML жүйесінде қолданылады, бірақ кеңейтімдермен қиындауы мүмкін.
-
Мета тілміштер мен өзін-өзі түсіндіретін бағдарламалар
Мета-циркулярлық бағалаушы (MCE) – түсіндіргіш тілдің мүмкіндіктерін хост тілі арқылы анықтайтын интерпретатор. Lisp-те жиі қолданылады, өзін-өзі түсіндіретін компиляторлармен байланысты.
-
Қатарлас шектеулі логикалық бағдарламалау
Қатарлас шектеулі логикалық бағдарламалау – бірнеше процестерді бағдарламалауға арналған, шектеулерді қанағаттандыруға баса назар аударатын әдіс. Құрама шарттармен жұмыс істейді.
-
ΛProlog
-
Temporal Process Language
-
Grammatical evolution
-
High- and low-level
-
API-Calculus