Формализм для описания частичных спецификаций компонентов программного окружения

Вычислительные машины и программное обеспечение
Авторы:
Ицыксон Владимир Михайлович Зозуля Алексей Викторович
Аннотация:

Рассмотрены вопросы формализации задания частичных спецификаций программных библиотек для портирования программ в новое окружение. Описан разработанный формализм и его представление на аннотирующем языке PanLang.