Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065756874> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2065756874 abstract "Proving the correctness of a program involves generating mathematical formulae, known as verification conditions, and then proving that these hold. The two basic methods of generating verification conditions are known as forward accumulation and back substitution. This paper describes a new method, the modification index (MX) method, which has certain advantages over both forward accumulation and back substitution." @default.
- W2065756874 created "2016-06-24" @default.
- W2065756874 creator A5074776664 @default.
- W2065756874 date "1977-01-01" @default.
- W2065756874 modified "2023-09-24" @default.
- W2065756874 title "The modification index method of generating verification conditions" @default.
- W2065756874 cites W1572470107 @default.
- W2065756874 cites W1595036120 @default.
- W2065756874 cites W1971490640 @default.
- W2065756874 cites W2012213337 @default.
- W2065756874 cites W3146075203 @default.
- W2065756874 doi "https://doi.org/10.1145/1795396.1795456" @default.
- W2065756874 hasPublicationYear "1977" @default.
- W2065756874 type Work @default.
- W2065756874 sameAs 2065756874 @default.
- W2065756874 citedByCount "2" @default.
- W2065756874 crossrefType "proceedings-article" @default.
- W2065756874 hasAuthorship W2065756874A5074776664 @default.
- W2065756874 hasBestOaLocation W20657568741 @default.
- W2065756874 hasConcept C111498074 @default.
- W2065756874 hasConcept C11413529 @default.
- W2065756874 hasConcept C199360897 @default.
- W2065756874 hasConcept C2777382242 @default.
- W2065756874 hasConcept C2778220771 @default.
- W2065756874 hasConcept C41008148 @default.
- W2065756874 hasConcept C55439883 @default.
- W2065756874 hasConceptScore W2065756874C111498074 @default.
- W2065756874 hasConceptScore W2065756874C11413529 @default.
- W2065756874 hasConceptScore W2065756874C199360897 @default.
- W2065756874 hasConceptScore W2065756874C2777382242 @default.
- W2065756874 hasConceptScore W2065756874C2778220771 @default.
- W2065756874 hasConceptScore W2065756874C41008148 @default.
- W2065756874 hasConceptScore W2065756874C55439883 @default.
- W2065756874 hasLocation W20657568741 @default.
- W2065756874 hasOpenAccess W2065756874 @default.
- W2065756874 hasPrimaryLocation W20657568741 @default.
- W2065756874 hasRelatedWork W1408846873 @default.
- W2065756874 hasRelatedWork W1517743118 @default.
- W2065756874 hasRelatedWork W1522191941 @default.
- W2065756874 hasRelatedWork W1661119603 @default.
- W2065756874 hasRelatedWork W1982013801 @default.
- W2065756874 hasRelatedWork W2024218563 @default.
- W2065756874 hasRelatedWork W2072806201 @default.
- W2065756874 hasRelatedWork W2171317417 @default.
- W2065756874 hasRelatedWork W3091728393 @default.
- W2065756874 hasRelatedWork W3096661979 @default.
- W2065756874 isParatext "false" @default.
- W2065756874 isRetracted "false" @default.
- W2065756874 magId "2065756874" @default.
- W2065756874 workType "article" @default.