Ця робота присвячена розробці інтерпретатора мови програмування та дослідження ролі контекстних умов у загальній архітектурі обробника. У роботі розглядаються підходи до формальної семантики мов програмування (з окремим акцентом на операційну семантику), складові частини інтерпретатора, реалізація обробки контекстних умов і реалізація інтерпретатора загалом.