Computing, Telecommunication and Control Информатика, телекоммуникации и управление 2687-0517 13 The formalism for description of the partial specifications of program envinroment components Формализм для описания частичных спецификаций компонентов программного окружения 0000-0003-0276-4517 36237396900 N-8983-2014 Vladimir M. Zozulya Alexey lexer@ftk.spbstu.ru Peter the Great St.Petersburg Polytechnic University 10 08 2011 4 128 81 90

A formalization of partial specifications of program environments components is considered. These partial specifications are used for porting programs from one environment to another. The developed formalism and its representation by PanLang annotation language are described.

 partial specifications program environment semantic library`s functions PanLang language