Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155334493> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2155334493 abstract "A machine-language program, or a microprogram implemented in writable control store, may modify itself. In order to prove the correctness of such a program, we must take this into account. Even if the program does not modify itself, we must prove this. Sometimes this may be done by looking at the individual instructions of the program; sometimes it must be tied in with the proof of correctness of the program. We state here, and illustrate by examples, certain principles for proving the correctness of programs and microprograms under these conditions. The principles are extensions to the standard inductive assertion method." @default.
- W2155334493 created "2016-06-24" @default.
- W2155334493 creator A5074776664 @default.
- W2155334493 date "1974-01-01" @default.
- W2155334493 modified "2023-10-17" @default.
- W2155334493 title "Some correctness principles for machine language programs and microprograms" @default.
- W2155334493 cites W1572470107 @default.
- W2155334493 cites W1964071625 @default.
- W2155334493 cites W2012213337 @default.
- W2155334493 cites W2154237524 @default.
- W2155334493 cites W2752853835 @default.
- W2155334493 cites W3146075203 @default.
- W2155334493 cites W3181441684 @default.
- W2155334493 doi "https://doi.org/10.1145/800118.803866" @default.
- W2155334493 hasPublicationYear "1974" @default.
- W2155334493 type Work @default.
- W2155334493 sameAs 2155334493 @default.
- W2155334493 citedByCount "8" @default.
- W2155334493 crossrefType "proceedings-article" @default.
- W2155334493 hasAuthorship W2155334493A5074776664 @default.
- W2155334493 hasBestOaLocation W21553344931 @default.
- W2155334493 hasConcept C199360897 @default.
- W2155334493 hasConcept C40422974 @default.
- W2155334493 hasConcept C41008148 @default.
- W2155334493 hasConcept C48103436 @default.
- W2155334493 hasConcept C55439883 @default.
- W2155334493 hasConcept C98183937 @default.
- W2155334493 hasConceptScore W2155334493C199360897 @default.
- W2155334493 hasConceptScore W2155334493C40422974 @default.
- W2155334493 hasConceptScore W2155334493C41008148 @default.
- W2155334493 hasConceptScore W2155334493C48103436 @default.
- W2155334493 hasConceptScore W2155334493C55439883 @default.
- W2155334493 hasConceptScore W2155334493C98183937 @default.
- W2155334493 hasLocation W21553344931 @default.
- W2155334493 hasOpenAccess W2155334493 @default.
- W2155334493 hasPrimaryLocation W21553344931 @default.
- W2155334493 hasRelatedWork W1489122955 @default.
- W2155334493 hasRelatedWork W1970434055 @default.
- W2155334493 hasRelatedWork W1973659599 @default.
- W2155334493 hasRelatedWork W2012220159 @default.
- W2155334493 hasRelatedWork W2028902198 @default.
- W2155334493 hasRelatedWork W2068981034 @default.
- W2155334493 hasRelatedWork W2136558125 @default.
- W2155334493 hasRelatedWork W2155334493 @default.
- W2155334493 hasRelatedWork W2767681984 @default.
- W2155334493 hasRelatedWork W3046570399 @default.
- W2155334493 isParatext "false" @default.
- W2155334493 isRetracted "false" @default.
- W2155334493 magId "2155334493" @default.
- W2155334493 workType "article" @default.