Конструктивная информатика в ETH Zurich
Аннотация
Статья посвящена становлению и развитию конструктивной информатики в ETH Zürich как особого направления, в котором компьютерная наука рассматривается прежде всего через создание работающих языков программирования, компиляторов, аппаратно-программных систем и пользовательских сред. В центре внимания находится историческая линия от ранних вычислительных проектов Института прикладной математики, включая использование Zuse Z4 и создание ERMETH, к языку ALGOL 60 и последующим работам Никлауса Вирта. Особое внимание уделяется переходу от Pascal и P-code к Modula-2, M-code и рабочей станции Lilith, где программное обеспечение, операционная система и прикладные компоненты были организованы как однородная сеть модулей. Далее рассматривается модернизация этой линии в паре Ceres-Oberon, введение расширения типов, развитие графической среды Gadgets и применение языка описания аппаратуры Lola в учебных и исследовательских проектах. Аннотация подчёркивает, что ключевой вклад ETH Zürich состоял не только в отдельных языках или машинах, но и в целостной инженерной культуре простоты, строгой типизации, переносимости, модульности и тесной связи между языком, компилятором, архитектурой и системой. Работа показывает, что конструктивная традиция ETH оказала существенное влияние на академическую информатику, образование программистов и практику системного проектирования.
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.
Редакционная политика журнала основывается на традиционных этических принципах российской научной периодики и строится с учетом этических норм работы редакторов и издателей, закрепленных в Кодексе поведения и руководящих принципах наилучшей практики для редактора журнала (Code of Conduct and Best Practice Guidelines for Journal Editors) и Кодексе поведения для издателя журнала (Code of Conduct for Journal Publishers), разработанных Комитетом по публикационной этике - Committee on Publication Ethics (COPE). В процессе издательской деятельности редколлегия журнала руководствуется международными правилами охраны авторского права, нормами действующего законодательства РФ, международными издательскими стандартами и обязательной ссылке на первоисточник.
Журнал позволяет авторам сохранять авторское право без ограничений. Журнал позволяет авторам сохранить права на публикацию без ограничений.
Издательская политика в области авторского права и архивирования определяются «зеленым цветом» в базе данных SHERPA/RoMEO.
Все статьи распространяются на условиях лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная, которая позволяет другим использовать, распространять, дополнять эту работу с обязательной ссылкой на оригинальную работу и публикацию в этом журналe.
