REALISTIC CORRECT SYSTEMS IMPLEMENTATION
The present article and the forthcoming second part on Trusted Compiler Implementation address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system misbehaviors we ask: Can informaticians righteously be accounted for incorrectness of...
Збережено в:
| Дата: | 2015 |
|---|---|
| Автор: | Goerigk, W. |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2015
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/3 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
Problems in programmingСхожі ресурси
-
Realistic correct systems implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003) -
Modern Poetic Translation: Realistic and Non-Realistic Tendencies
за авторством: O. I. Hainicheru
Опубліковано: (1996) -
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
за авторством: Goerigk, W., та інші
Опубліковано: (2015) -
-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025) -
The Concept of the Person in Neo-Realist Prose
за авторством: S. Zhyhun
Опубліковано: (2015)