Matches in SemOpenAlex for { <https://semopenalex.org/work/W4256021971> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4256021971 abstract "This paper explores the restrictions a mechanism in the style of the Ada generics facility would have to satisfy in order to be amenable to existing verification techniques. Generic verification is defined and defended as the appropriate goal for any such facility. Criteria are developed for generic verification to be possible and then Ada is evaluated with respect to these criteria. An example of the application of these techniques to an Ada unit is presented to show that generic verification is possible at least on a subclass of Ada generic units. Finally some potential applications of verified generic units are presented." @default.
- W4256021971 created "2022-05-12" @default.
- W4256021971 creator A5000371423 @default.
- W4256021971 creator A5087268411 @default.
- W4256021971 date "1980-01-01" @default.
- W4256021971 modified "2023-09-26" @default.
- W4256021971 title "Generics and verification in Ada" @default.
- W4256021971 doi "https://doi.org/10.1145/948647.948649" @default.
- W4256021971 hasPublicationYear "1980" @default.
- W4256021971 type Work @default.
- W4256021971 citedByCount "0" @default.
- W4256021971 crossrefType "proceedings-article" @default.
- W4256021971 hasAuthorship W4256021971A5000371423 @default.
- W4256021971 hasAuthorship W4256021971A5087268411 @default.
- W4256021971 hasBestOaLocation W42560219711 @default.
- W4256021971 hasConcept C111498074 @default.
- W4256021971 hasConcept C115903868 @default.
- W4256021971 hasConcept C186846655 @default.
- W4256021971 hasConcept C199360897 @default.
- W4256021971 hasConcept C202973057 @default.
- W4256021971 hasConcept C2777904410 @default.
- W4256021971 hasConcept C33054407 @default.
- W4256021971 hasConcept C41008148 @default.
- W4256021971 hasConcept C529173508 @default.
- W4256021971 hasConcept C62460635 @default.
- W4256021971 hasConceptScore W4256021971C111498074 @default.
- W4256021971 hasConceptScore W4256021971C115903868 @default.
- W4256021971 hasConceptScore W4256021971C186846655 @default.
- W4256021971 hasConceptScore W4256021971C199360897 @default.
- W4256021971 hasConceptScore W4256021971C202973057 @default.
- W4256021971 hasConceptScore W4256021971C2777904410 @default.
- W4256021971 hasConceptScore W4256021971C33054407 @default.
- W4256021971 hasConceptScore W4256021971C41008148 @default.
- W4256021971 hasConceptScore W4256021971C529173508 @default.
- W4256021971 hasConceptScore W4256021971C62460635 @default.
- W4256021971 hasLocation W42560219711 @default.
- W4256021971 hasOpenAccess W4256021971 @default.
- W4256021971 hasPrimaryLocation W42560219711 @default.
- W4256021971 hasRelatedWork W1183828699 @default.
- W4256021971 hasRelatedWork W126682919 @default.
- W4256021971 hasRelatedWork W128837028 @default.
- W4256021971 hasRelatedWork W1981467734 @default.
- W4256021971 hasRelatedWork W2293341276 @default.
- W4256021971 hasRelatedWork W2562928796 @default.
- W4256021971 hasRelatedWork W3015867552 @default.
- W4256021971 hasRelatedWork W4307177191 @default.
- W4256021971 hasRelatedWork W47563837 @default.
- W4256021971 hasRelatedWork W63592217 @default.
- W4256021971 isParatext "false" @default.
- W4256021971 isRetracted "false" @default.
- W4256021971 workType "article" @default.