Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation

• Datum: 2015
• Hauptverfasser: Goerigk, W., Langmaack, H.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2015
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/8
• Назва журналу: Problems in programming

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...