Matches in SemOpenAlex for { <https://semopenalex.org/work/W80714829> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W80714829 endingPage "378" @default.
- W80714829 startingPage "378" @default.
- W80714829 abstract "Techniques were developed by which an Algol-like program, given together with its specifications, may be documented automatically. This documentation expresses invariant relationships that hold between program variables at intermediate points in the program, and explains the actual workings of the program regardless of whether the program is correct. These techniques, formulated as deduction rules for both guaranteed invariants and candidate invariants, represent a unification of existing approaches, and sometimes improve upon them." @default.
- W80714829 created "2016-06-24" @default.
- W80714829 creator A5039993352 @default.
- W80714829 date "1977-08-22" @default.
- W80714829 modified "2023-09-25" @default.
- W80714829 title "Automatic program annotation" @default.
- W80714829 cites W1978367838 @default.
- W80714829 cites W2075913776 @default.
- W80714829 hasPublicationYear "1977" @default.
- W80714829 type Work @default.
- W80714829 sameAs 80714829 @default.
- W80714829 citedByCount "0" @default.
- W80714829 crossrefType "proceedings-article" @default.
- W80714829 hasAuthorship W80714829A5039993352 @default.
- W80714829 hasConcept C115903868 @default.
- W80714829 hasConcept C154945302 @default.
- W80714829 hasConcept C190470478 @default.
- W80714829 hasConcept C199360897 @default.
- W80714829 hasConcept C23123220 @default.
- W80714829 hasConcept C2776321320 @default.
- W80714829 hasConcept C33923547 @default.
- W80714829 hasConcept C37914503 @default.
- W80714829 hasConcept C41008148 @default.
- W80714829 hasConcept C56666940 @default.
- W80714829 hasConcept C80444323 @default.
- W80714829 hasConcept C96146094 @default.
- W80714829 hasConcept C98183937 @default.
- W80714829 hasConceptScore W80714829C115903868 @default.
- W80714829 hasConceptScore W80714829C154945302 @default.
- W80714829 hasConceptScore W80714829C190470478 @default.
- W80714829 hasConceptScore W80714829C199360897 @default.
- W80714829 hasConceptScore W80714829C23123220 @default.
- W80714829 hasConceptScore W80714829C2776321320 @default.
- W80714829 hasConceptScore W80714829C33923547 @default.
- W80714829 hasConceptScore W80714829C37914503 @default.
- W80714829 hasConceptScore W80714829C41008148 @default.
- W80714829 hasConceptScore W80714829C56666940 @default.
- W80714829 hasConceptScore W80714829C80444323 @default.
- W80714829 hasConceptScore W80714829C96146094 @default.
- W80714829 hasConceptScore W80714829C98183937 @default.
- W80714829 hasLocation W807148291 @default.
- W80714829 hasOpenAccess W80714829 @default.
- W80714829 hasPrimaryLocation W807148291 @default.
- W80714829 hasRelatedWork W1517417277 @default.
- W80714829 hasRelatedWork W17369446 @default.
- W80714829 hasRelatedWork W1990050510 @default.
- W80714829 hasRelatedWork W2054862290 @default.
- W80714829 hasRelatedWork W2166494336 @default.
- W80714829 hasRelatedWork W2337830704 @default.
- W80714829 hasRelatedWork W2473788176 @default.
- W80714829 hasRelatedWork W2546056923 @default.
- W80714829 hasRelatedWork W2600478067 @default.
- W80714829 hasRelatedWork W2730816057 @default.
- W80714829 hasRelatedWork W2795740773 @default.
- W80714829 hasRelatedWork W2886612400 @default.
- W80714829 hasRelatedWork W2949801416 @default.
- W80714829 hasRelatedWork W2971064436 @default.
- W80714829 hasRelatedWork W2974531110 @default.
- W80714829 hasRelatedWork W3011785936 @default.
- W80714829 hasRelatedWork W3105346556 @default.
- W80714829 hasRelatedWork W3166784586 @default.
- W80714829 hasRelatedWork W3208916498 @default.
- W80714829 hasRelatedWork W2184409102 @default.
- W80714829 isParatext "false" @default.
- W80714829 isRetracted "false" @default.
- W80714829 magId "80714829" @default.
- W80714829 workType "article" @default.