Наукова періодика України Проблеми програмування


Шевченко P. C. 
Числення контекстних термів для систем переписування / P. C. Шевченко // Проблеми програмування. - 2018. - № 2-3. - С. 21-30. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_2-3_4
Запропоновано числення контекстних термів, що доповнює традиційний апарат алгебричних сигнатур, котрі використовуються в системах переписування термів, конструкціями роботи з контекстом: утворення контексту, визначення контекстного значення та зв'язку терму з контекстом із перевіркою відповідності. Це надає змогу сформулювати задачі, пов'язані з аналізом і трансформаціями програмного коду, у більш природньому вигляді, оскільки структура вихідного коду у сучасних мовах програмування також має ієрархічну контекстну структуру, що може прямо відповідати структурі терму в переписувальному правилі. Правила виводу типів для мови програмування можуть бути представлені як правила задовільності контексту. Таким чином можна одержати досить простий механізм, що об'єднує переписування термів з аналізом контексту. Застосування підходу описано на прикладі моделювання системи типів сучасних мов програмування: від обмежень на значення до лінійної типізації.
  Повний текст PDF - 622.52 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Шевченко P.

  • Бібліографічний опис для цитування:

    Шевченко P. C. Числення контекстних термів для систем переписування / P. C. Шевченко // Проблеми програмування. - 2018. - № 2-3. - С. 21-30. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_2-3_4.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського