Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005371684> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2005371684 abstract "ANNA is a proposal to extend Ada to include facilities for formally specifying the intended behaviour of Ada programs (or portions thereof) at all stages of program development. ANNA programs are Ada programs with formal comments. Formal comments in ANNA consist of virtual Ada text and annotations. The syntax and semantics of different kinds of annotations are defined: declarative annotations (for variables, subtypes, subprograms, and packages), statement annotations, exception annotations, and visibility annotations. ANNA includes a small number of predefined attributes which may appear only in annotations, e.g., access type collections.The lexical structure of ANNA is designed so that the extensions of Ada appear as Ada comments. ANNA programs are therefore acceptable by Ada translators. The semantics of annotations are defined in terms of Ada concepts, in particular many annotations are generalization of the constraint concept. It is therefore a simple step for the Ada programmer to use ANNA to give formal specifications of programs.ANNA is intended to provide a formal framework within which different theories of formal specification may be applied to Ada. Our proposal omits tasking for the time being." @default.
- W2005371684 created "2016-06-24" @default.
- W2005371684 creator A5018674372 @default.
- W2005371684 creator A5058462863 @default.
- W2005371684 date "1980-01-01" @default.
- W2005371684 modified "2023-10-18" @default.
- W2005371684 title "ANNA" @default.
- W2005371684 cites W1989631754 @default.
- W2005371684 cites W2002532745 @default.
- W2005371684 cites W2004158097 @default.
- W2005371684 cites W2048168398 @default.
- W2005371684 cites W2059976750 @default.
- W2005371684 cites W2081379485 @default.
- W2005371684 cites W2084798700 @default.
- W2005371684 cites W2095224573 @default.
- W2005371684 cites W2132302503 @default.
- W2005371684 cites W3146075203 @default.
- W2005371684 cites W326143730 @default.
- W2005371684 doi "https://doi.org/10.1145/800004.807943" @default.
- W2005371684 hasPublicationYear "1980" @default.
- W2005371684 type Work @default.
- W2005371684 sameAs 2005371684 @default.
- W2005371684 citedByCount "15" @default.
- W2005371684 countsByYear W20053716842015 @default.
- W2005371684 crossrefType "proceedings-article" @default.
- W2005371684 hasAuthorship W2005371684A5018674372 @default.
- W2005371684 hasAuthorship W2005371684A5058462863 @default.
- W2005371684 hasConcept C199360897 @default.
- W2005371684 hasConcept C41008148 @default.
- W2005371684 hasConceptScore W2005371684C199360897 @default.
- W2005371684 hasConceptScore W2005371684C41008148 @default.
- W2005371684 hasLocation W20053716841 @default.
- W2005371684 hasOpenAccess W2005371684 @default.
- W2005371684 hasPrimaryLocation W20053716841 @default.
- W2005371684 hasRelatedWork W1491366424 @default.
- W2005371684 hasRelatedWork W1527862632 @default.
- W2005371684 hasRelatedWork W2109507516 @default.
- W2005371684 hasRelatedWork W2112962394 @default.
- W2005371684 hasRelatedWork W2118300983 @default.
- W2005371684 hasRelatedWork W2135396778 @default.
- W2005371684 hasRelatedWork W2740990710 @default.
- W2005371684 hasRelatedWork W3137189469 @default.
- W2005371684 hasRelatedWork W4235530921 @default.
- W2005371684 hasRelatedWork W4243252198 @default.
- W2005371684 isParatext "false" @default.
- W2005371684 isRetracted "false" @default.
- W2005371684 magId "2005371684" @default.
- W2005371684 workType "article" @default.