1. Science
  2. Publications
  3. Information Processing Systems
  4. 3(19)'2002
  5. Type System in the Software-Intensive System

Type System in the Software-Intensive System

Ju.S. Manzhos
Annotations languages:

In the article is considered limitations of the classical Type System and it influence to the reliability of the Software-Intensive System.
Reference:
Manzhos, Yu.S. (2002), "Typizatsiia danykh u systemakh krytychnoho pryznachennia" , Information Processing Systems, Vol. 3(19), pp. 54-57.