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