Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313303769> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W4313303769 abstract "The C and C++ programming languages are widely used for the implementation of software in critical systems. They are complex languages with subtle features and peculiarities that might baffle even the more expert programmers. Hence, the general prescription of language subsetting, which occurs in most functional safety standards and amounts to only using a safer subset of the language, is particularly applicable to them. Coding guidelines are the preferred way of expressing language subsets. Some guidelines are formulated in terms of the programming language and its implementation only: in this case they are amenable to automatic checking. However, due to fundamental limitations of computing, some guidelines are undecidable, that is, they are based on program properties that no current and future algorithm can capture in all cases. The most mature and widespread coding standards, the MISRA ones, explicitly tag guidelines with undecidable or decidable. It turns out that this information is not of secondary nature and must be taken into account for a full understanding of what the guideline is asking for. As a matter of fact, undecidability is a common source of confusion affecting many users of coding standards and of the associated checking tools. In this paper, we recall the notions of decidability and undecidability in terms that are understandable to any C/C++ programmer. The paper includes a systematic study of all the undecidable MISRA C:2012 guidelines, discussing the reasons for the undecidability and its consequences. We pay particular attention to undecidable guidelines that have decidable approximations whose enforcement would not overly constrain the source code. We also discuss some coding guidelines for which compliance is hard, if not impossible, to prove, even beyond the issue of decidability." @default.
- W4313303769 created "2023-01-06" @default.
- W4313303769 creator A5012696127 @default.
- W4313303769 creator A5022948889 @default.
- W4313303769 creator A5057370941 @default.
- W4313303769 date "2022-12-28" @default.
- W4313303769 modified "2023-09-23" @default.
- W4313303769 title "Coding Guidelines and Undecidability" @default.
- W4313303769 doi "https://doi.org/10.48550/arxiv.2212.13933" @default.
- W4313303769 hasPublicationYear "2022" @default.
- W4313303769 type Work @default.
- W4313303769 citedByCount "0" @default.
- W4313303769 crossrefType "posted-content" @default.
- W4313303769 hasAuthorship W4313303769A5012696127 @default.
- W4313303769 hasAuthorship W4313303769A5022948889 @default.
- W4313303769 hasAuthorship W4313303769A5057370941 @default.
- W4313303769 hasBestOaLocation W43133037691 @default.
- W4313303769 hasConcept C105795698 @default.
- W4313303769 hasConcept C153269930 @default.
- W4313303769 hasConcept C179518139 @default.
- W4313303769 hasConcept C192034797 @default.
- W4313303769 hasConcept C199360897 @default.
- W4313303769 hasConcept C2778514511 @default.
- W4313303769 hasConcept C33923547 @default.
- W4313303769 hasConcept C41008148 @default.
- W4313303769 hasConcept C55439883 @default.
- W4313303769 hasConcept C80444323 @default.
- W4313303769 hasConceptScore W4313303769C105795698 @default.
- W4313303769 hasConceptScore W4313303769C153269930 @default.
- W4313303769 hasConceptScore W4313303769C179518139 @default.
- W4313303769 hasConceptScore W4313303769C192034797 @default.
- W4313303769 hasConceptScore W4313303769C199360897 @default.
- W4313303769 hasConceptScore W4313303769C2778514511 @default.
- W4313303769 hasConceptScore W4313303769C33923547 @default.
- W4313303769 hasConceptScore W4313303769C41008148 @default.
- W4313303769 hasConceptScore W4313303769C55439883 @default.
- W4313303769 hasConceptScore W4313303769C80444323 @default.
- W4313303769 hasLocation W43133037691 @default.
- W4313303769 hasOpenAccess W4313303769 @default.
- W4313303769 hasPrimaryLocation W43133037691 @default.
- W4313303769 hasRelatedWork W1987119124 @default.
- W4313303769 hasRelatedWork W2007907624 @default.
- W4313303769 hasRelatedWork W2151876025 @default.
- W4313303769 hasRelatedWork W2390607114 @default.
- W4313303769 hasRelatedWork W2578712589 @default.
- W4313303769 hasRelatedWork W2889429285 @default.
- W4313303769 hasRelatedWork W2994978805 @default.
- W4313303769 hasRelatedWork W3013662347 @default.
- W4313303769 hasRelatedWork W3137189469 @default.
- W4313303769 hasRelatedWork W4238823939 @default.
- W4313303769 isParatext "false" @default.
- W4313303769 isRetracted "false" @default.
- W4313303769 workType "article" @default.