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

Computer Systems and Software
Authors:
Vladimir M. Itsykson Zozulya Alexey V.
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.