Вы здесь

Главная

Методы трансляции и конструирования программ

Связанные издания:

Базисные средства спецификации и верификации трансляторов
Вопросы редукции программ
Об одном подходе к повышению точности статического контроля типов