# The formalism for description of the partial specifications of program envinroment components

Authors:
Abstract:

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.