Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023271615> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2023271615 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 techniques. Generic verification is defined and defended as the appropriate goal for any such facility. Criteria are developed for generic 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 is possible at least on a subclass of Ada generic units. Finally some potential applications of verified generic units are presented." @default.
- W2023271615 created "2016-06-24" @default.
- W2023271615 creator A5000371423 @default.
- W2023271615 creator A5087268411 @default.
- W2023271615 date "1980-01-01" @default.
- W2023271615 modified "2023-10-04" @default.
- W2023271615 title "Generics and verification in Ada" @default.
- W2023271615 cites W1572552461 @default.
- W2023271615 cites W1971822086 @default.
- W2023271615 cites W1988225399 @default.
- W2023271615 cites W1989631754 @default.
- W2023271615 cites W1995384620 @default.
- W2023271615 cites W2004158097 @default.
- W2023271615 cites W2081379485 @default.
- W2023271615 cites W2106348655 @default.
- W2023271615 cites W2133416164 @default.
- W2023271615 cites W2895907582 @default.
- W2023271615 cites W3146075203 @default.
- W2023271615 doi "https://doi.org/10.1145/800004.807942" @default.
- W2023271615 hasPublicationYear "1980" @default.
- W2023271615 type Work @default.
- W2023271615 sameAs 2023271615 @default.
- W2023271615 citedByCount "2" @default.
- W2023271615 crossrefType "proceedings-article" @default.
- W2023271615 hasAuthorship W2023271615A5000371423 @default.
- W2023271615 hasAuthorship W2023271615A5087268411 @default.
- W2023271615 hasConcept C199360897 @default.
- W2023271615 hasConcept C41008148 @default.
- W2023271615 hasConceptScore W2023271615C199360897 @default.
- W2023271615 hasConceptScore W2023271615C41008148 @default.
- W2023271615 hasLocation W20232716151 @default.
- W2023271615 hasOpenAccess W2023271615 @default.
- W2023271615 hasPrimaryLocation W20232716151 @default.
- W2023271615 hasRelatedWork W1504912724 @default.
- W2023271615 hasRelatedWork W1568964221 @default.
- W2023271615 hasRelatedWork W1579245453 @default.
- W2023271615 hasRelatedWork W1980112279 @default.
- W2023271615 hasRelatedWork W1981467734 @default.
- W2023271615 hasRelatedWork W1991096787 @default.
- W2023271615 hasRelatedWork W2008395018 @default.
- W2023271615 hasRelatedWork W2026396342 @default.
- W2023271615 hasRelatedWork W2081867734 @default.
- W2023271615 hasRelatedWork W2093231739 @default.
- W2023271615 hasRelatedWork W2121444793 @default.
- W2023271615 hasRelatedWork W238195428 @default.
- W2023271615 hasRelatedWork W2441669709 @default.
- W2023271615 hasRelatedWork W2480791090 @default.
- W2023271615 hasRelatedWork W25891344 @default.
- W2023271615 hasRelatedWork W2744208436 @default.
- W2023271615 hasRelatedWork W2788835136 @default.
- W2023271615 hasRelatedWork W54285080 @default.
- W2023271615 hasRelatedWork W6568356 @default.
- W2023271615 hasRelatedWork W2170753241 @default.
- W2023271615 isParatext "false" @default.
- W2023271615 isRetracted "false" @default.
- W2023271615 magId "2023271615" @default.
- W2023271615 workType "article" @default.