Ю. В. Матиясевич, А. Н. Терехов, Б. А. Федотов, “Унификация программного обеспечения микро-эвм на базе виртуальной машины”, Автомат. и телемех., 1990, выпуск 5,страницы 168

Автоматизация проектирования и программирования

Унификация программного обеспечения микро-эвм на базе виртуальной машины

Ю. В. Матиясевич^a, А. Н. Терехов^b, Б. А. Федотов^c

^a Ленинградское отделение Математического института им. В. А. Стеклова АН СССР
^b Научно-исследовательский институт математики и механики ЛГУ
^c ЛНПО «Красная заря», Ленинград

Аннотация: Описываются архитектура и система команд виртуальной машины, ориентированной на реализацию алгоритмических языков высокого уровня со статическим контролем типов (АДА, АЛГОЛ, МОДУЛА 2, ПАСКАЛЬ и т. д.) на микро-ЭВМ.

УДК: 681.3-181.4:681.3.06

Поступила в редакцию: 05.11.1988