Type System in the Software-Intensive System

Ju.S. Manzhos

Annotations languages:

Description: In the article is considered limitations of the classical Type System and it influence to the reliability of the Software-Intensive System.

Full text PDF - 221.23 KB

Reference:
Manzhos, Yu.S. (2002), “Typizatsiia danykh u systemakh krytychnoho pryznachennia”, Information Processing Systems, Vol. 3(19), pp. 54-57.

Ivan Kozhedub Kharkiv National Air Force University (KNAFU)

Scientific publications

Type System in the Software-Intensive System