Matches in SemOpenAlex for { <https://semopenalex.org/work/W2415746476> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2415746476 abstract "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 incorrectness of systems, will they be able to justify systems to work correctly as intended? We understand the word justification in this sense, i.e. for the design of computer based systems, the formulation of mathematical models of information flows, and the construction of controlling software to be such that the expected system effects, the absence of internal failures, and the robustness towards misuses and malicious external attacks are foreseeable as logical consequences of the models. Since more than 40 years, theoretical informatics, software engineering and compiler construction have made important contributions to correct specification and also to correct high-level implementation of compilers. But the third step, translation — bootstrapping — of high level compiler programs into host machine code by existing host compilers, is as important. So far there are no realistic recipes to close this gap, although it is known for many years that trust in executable code can dangerously be compromised by Trojan Horses in compiler executables, even if they pass strongest tests. Our article will show how to close this low level gap. We demonstrate the method of rigorous syntactic a-posteriori code inspection, which has been developed by the research group Verifix funded by the Deutsche Forschungsgemeinschaft (DFG)." @default.
- W2415746476 created "2016-06-24" @default.
- W2415746476 creator A5068751792 @default.
- W2415746476 creator A5078538841 @default.
- W2415746476 date "2003-01-01" @default.
- W2415746476 modified "2023-09-26" @default.
- W2415746476 title "WILL INFORMATICS BE ABLE TO JUSTIFY THE CONSTRUCTION OF LARGE COMPUTER BASED SYSTEMS? PART II. TRUSTED COMPILER IMPLEMENTATION 1" @default.
- W2415746476 cites W121919351 @default.
- W2415746476 cites W147547039 @default.
- W2415746476 cites W1485119882 @default.
- W2415746476 cites W1548045258 @default.
- W2415746476 cites W1569393732 @default.
- W2415746476 cites W1589349472 @default.
- W2415746476 cites W1596799209 @default.
- W2415746476 cites W2024625456 @default.
- W2415746476 cites W2058125478 @default.
- W2415746476 cites W2101761519 @default.
- W2415746476 cites W2112027494 @default.
- W2415746476 cites W2155757092 @default.
- W2415746476 cites W2170267084 @default.
- W2415746476 cites W2404357654 @default.
- W2415746476 cites W2911450990 @default.
- W2415746476 cites W2730883564 @default.
- W2415746476 hasPublicationYear "2003" @default.
- W2415746476 type Work @default.
- W2415746476 sameAs 2415746476 @default.
- W2415746476 citedByCount "1" @default.
- W2415746476 crossrefType "journal-article" @default.
- W2415746476 hasAuthorship W2415746476A5068751792 @default.
- W2415746476 hasAuthorship W2415746476A5078538841 @default.
- W2415746476 hasConcept C106159729 @default.
- W2415746476 hasConcept C115903868 @default.
- W2415746476 hasConcept C160145156 @default.
- W2415746476 hasConcept C162324750 @default.
- W2415746476 hasConcept C169590947 @default.
- W2415746476 hasConcept C199360897 @default.
- W2415746476 hasConcept C207609745 @default.
- W2415746476 hasConcept C41008148 @default.
- W2415746476 hasConceptScore W2415746476C106159729 @default.
- W2415746476 hasConceptScore W2415746476C115903868 @default.
- W2415746476 hasConceptScore W2415746476C160145156 @default.
- W2415746476 hasConceptScore W2415746476C162324750 @default.
- W2415746476 hasConceptScore W2415746476C169590947 @default.
- W2415746476 hasConceptScore W2415746476C199360897 @default.
- W2415746476 hasConceptScore W2415746476C207609745 @default.
- W2415746476 hasConceptScore W2415746476C41008148 @default.
- W2415746476 hasLocation W24157464761 @default.
- W2415746476 hasOpenAccess W2415746476 @default.
- W2415746476 hasPrimaryLocation W24157464761 @default.
- W2415746476 hasRelatedWork W1475719308 @default.
- W2415746476 hasRelatedWork W1816021846 @default.
- W2415746476 hasRelatedWork W1930820165 @default.
- W2415746476 hasRelatedWork W2005159791 @default.
- W2415746476 hasRelatedWork W2014484893 @default.
- W2415746476 hasRelatedWork W2057887498 @default.
- W2415746476 hasRelatedWork W2161266370 @default.
- W2415746476 hasRelatedWork W2182846365 @default.
- W2415746476 hasRelatedWork W2302011024 @default.
- W2415746476 hasRelatedWork W2397203449 @default.
- W2415746476 hasRelatedWork W2461680990 @default.
- W2415746476 hasRelatedWork W2498712609 @default.
- W2415746476 hasRelatedWork W2738859397 @default.
- W2415746476 hasRelatedWork W2860564492 @default.
- W2415746476 hasRelatedWork W2898333406 @default.
- W2415746476 hasRelatedWork W2903431435 @default.
- W2415746476 hasRelatedWork W3124420928 @default.
- W2415746476 hasRelatedWork W3149520 @default.
- W2415746476 hasRelatedWork W35239040 @default.
- W2415746476 hasRelatedWork W72265089 @default.
- W2415746476 isParatext "false" @default.
- W2415746476 isRetracted "false" @default.
- W2415746476 magId "2415746476" @default.
- W2415746476 workType "article" @default.