Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151006750> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2151006750 endingPage "90" @default.
- W2151006750 startingPage "81" @default.
- W2151006750 abstract "The programming languages currently most popular among software engineers for writing safety critical applications are C and, more recently, C++. The Ada language has been designed with software safety in mind. Although Ada is not perfect concerning safety critical programming, it is far better than C or C++. There have been definitions of subsets of C for safety critical applications, such as MISRA C. Similarly, there are several attempts at defining a safe subset of C++, including MISRA C++ and the Joint Strike Fighter (JSF) Avionics C++ coding standards. The most commonly used safety critical subset of Ada is SPARK. SPARK provides a statically provable fully deterministic subset of Ada. The C and C++ safety critical subsets attempt to achieve a level of safety similar to the full Ada language. That attempt generally fails. This paper concentrates on a comparing the C++ language, including portions of the JSF C++ standard and those features inherited from C, with the full Ada language." @default.
- W2151006750 created "2016-06-24" @default.
- W2151006750 creator A5034813656 @default.
- W2151006750 date "2011-11-06" @default.
- W2151006750 modified "2023-09-27" @default.
- W2151006750 title "Language choice for safety critical applications" @default.
- W2151006750 doi "https://doi.org/10.1145/2070336.2070363" @default.
- W2151006750 hasPublicationYear "2011" @default.
- W2151006750 type Work @default.
- W2151006750 sameAs 2151006750 @default.
- W2151006750 citedByCount "1" @default.
- W2151006750 countsByYear W21510067502016 @default.
- W2151006750 crossrefType "journal-article" @default.
- W2151006750 hasAuthorship W2151006750A5034813656 @default.
- W2151006750 hasConcept C105795698 @default.
- W2151006750 hasConcept C115903868 @default.
- W2151006750 hasConcept C127413603 @default.
- W2151006750 hasConcept C146978453 @default.
- W2151006750 hasConcept C15792166 @default.
- W2151006750 hasConcept C163707989 @default.
- W2151006750 hasConcept C179518139 @default.
- W2151006750 hasConcept C199360897 @default.
- W2151006750 hasConcept C2777904410 @default.
- W2151006750 hasConcept C2781215313 @default.
- W2151006750 hasConcept C28180684 @default.
- W2151006750 hasConcept C2986567400 @default.
- W2151006750 hasConcept C33923547 @default.
- W2151006750 hasConcept C41008148 @default.
- W2151006750 hasConceptScore W2151006750C105795698 @default.
- W2151006750 hasConceptScore W2151006750C115903868 @default.
- W2151006750 hasConceptScore W2151006750C127413603 @default.
- W2151006750 hasConceptScore W2151006750C146978453 @default.
- W2151006750 hasConceptScore W2151006750C15792166 @default.
- W2151006750 hasConceptScore W2151006750C163707989 @default.
- W2151006750 hasConceptScore W2151006750C179518139 @default.
- W2151006750 hasConceptScore W2151006750C199360897 @default.
- W2151006750 hasConceptScore W2151006750C2777904410 @default.
- W2151006750 hasConceptScore W2151006750C2781215313 @default.
- W2151006750 hasConceptScore W2151006750C28180684 @default.
- W2151006750 hasConceptScore W2151006750C2986567400 @default.
- W2151006750 hasConceptScore W2151006750C33923547 @default.
- W2151006750 hasConceptScore W2151006750C41008148 @default.
- W2151006750 hasIssue "3" @default.
- W2151006750 hasLocation W21510067501 @default.
- W2151006750 hasOpenAccess W2151006750 @default.
- W2151006750 hasPrimaryLocation W21510067501 @default.
- W2151006750 hasRelatedWork W2077629733 @default.
- W2151006750 hasRelatedWork W2125544811 @default.
- W2151006750 hasRelatedWork W2151006750 @default.
- W2151006750 hasRelatedWork W2166247150 @default.
- W2151006750 hasRelatedWork W2292432139 @default.
- W2151006750 hasRelatedWork W2605218250 @default.
- W2151006750 hasRelatedWork W2783678835 @default.
- W2151006750 hasRelatedWork W4243252198 @default.
- W2151006750 hasRelatedWork W643671617 @default.
- W2151006750 hasRelatedWork W2564065297 @default.
- W2151006750 hasVolume "31" @default.
- W2151006750 isParatext "false" @default.
- W2151006750 isRetracted "false" @default.
- W2151006750 magId "2151006750" @default.
- W2151006750 workType "article" @default.