Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
The present and the previous article on Realistic Correct Systems Implementation together address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system misbehaviors we want to ask: Can informaticians righteously be accounted for incorr...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1304 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation / Wolfgang Goerigk, Hans Langmaack // Проблеми програмування. — 2003. — N 2. — С. 3—27. — Бібліогр.: 37 назв. — англ. |