Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561895795> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1561895795 abstract "Abstract : A state delta is a first-order predicate taking a precondition, a post-condition, a modification list and an environment list. State deltas are to be used in a proof system in which predicates describing the machine's current state are cross-referenced by the locations containing values used in each. Reasoning about a machine's forward progress may be carried out by successive application of state deltas. Application is legal if the precondition is true and if none of the locations in the environment list has been changed since the state delta was entered into the system. Afterward, all predicates cross-referenced to any of the locations in the modification list are deleted, and those in the post-condition list are added to form a new current state. If some locations hold arrays or lists, the cross-referencing part of the system may provide for attaching predicates to location components. If names may be given to individual location components, different predicates may depend upon the same values under different names. To keep track of all overlap conditions possible among a set of named locations, a graph structure with two node types is used to show all possible overlaps. A small proof system has been built and used to prove the correctness of a slice of the code in the ARPANET IMPs." @default.
- W1561895795 created "2016-06-24" @default.
- W1561895795 creator A5012244300 @default.
- W1561895795 date "1977-01-01" @default.
- W1561895795 modified "2023-09-23" @default.
- W1561895795 title "State deltas: a formalism for representing segments of computation." @default.
- W1561895795 cites W1566687055 @default.
- W1561895795 cites W1595036120 @default.
- W1561895795 cites W2020149918 @default.
- W1561895795 cites W2113074643 @default.
- W1561895795 cites W2123452923 @default.
- W1561895795 cites W2156472435 @default.
- W1561895795 cites W2337392266 @default.
- W1561895795 cites W2895153536 @default.
- W1561895795 cites W3014789883 @default.
- W1561895795 cites W3146075203 @default.
- W1561895795 hasPublicationYear "1977" @default.
- W1561895795 type Work @default.
- W1561895795 sameAs 1561895795 @default.
- W1561895795 citedByCount "12" @default.
- W1561895795 crossrefType "journal-article" @default.
- W1561895795 hasAuthorship W1561895795A5012244300 @default.
- W1561895795 hasConcept C11413529 @default.
- W1561895795 hasConcept C132525143 @default.
- W1561895795 hasConcept C140146324 @default.
- W1561895795 hasConcept C142362112 @default.
- W1561895795 hasConcept C153349607 @default.
- W1561895795 hasConcept C192465680 @default.
- W1561895795 hasConcept C199360897 @default.
- W1561895795 hasConcept C41008148 @default.
- W1561895795 hasConcept C45374587 @default.
- W1561895795 hasConcept C48103436 @default.
- W1561895795 hasConcept C55439883 @default.
- W1561895795 hasConcept C558565934 @default.
- W1561895795 hasConcept C73301696 @default.
- W1561895795 hasConcept C80444323 @default.
- W1561895795 hasConceptScore W1561895795C11413529 @default.
- W1561895795 hasConceptScore W1561895795C132525143 @default.
- W1561895795 hasConceptScore W1561895795C140146324 @default.
- W1561895795 hasConceptScore W1561895795C142362112 @default.
- W1561895795 hasConceptScore W1561895795C153349607 @default.
- W1561895795 hasConceptScore W1561895795C192465680 @default.
- W1561895795 hasConceptScore W1561895795C199360897 @default.
- W1561895795 hasConceptScore W1561895795C41008148 @default.
- W1561895795 hasConceptScore W1561895795C45374587 @default.
- W1561895795 hasConceptScore W1561895795C48103436 @default.
- W1561895795 hasConceptScore W1561895795C55439883 @default.
- W1561895795 hasConceptScore W1561895795C558565934 @default.
- W1561895795 hasConceptScore W1561895795C73301696 @default.
- W1561895795 hasConceptScore W1561895795C80444323 @default.
- W1561895795 hasLocation W15618957951 @default.
- W1561895795 hasOpenAccess W1561895795 @default.
- W1561895795 hasPrimaryLocation W15618957951 @default.
- W1561895795 hasRelatedWork W1563605527 @default.
- W1561895795 hasRelatedWork W1585531884 @default.
- W1561895795 hasRelatedWork W1594278104 @default.
- W1561895795 hasRelatedWork W1968020804 @default.
- W1561895795 hasRelatedWork W2037238940 @default.
- W1561895795 hasRelatedWork W2045138971 @default.
- W1561895795 hasRelatedWork W2063169916 @default.
- W1561895795 hasRelatedWork W2065725913 @default.
- W1561895795 hasRelatedWork W2075283981 @default.
- W1561895795 hasRelatedWork W2118653063 @default.
- W1561895795 hasRelatedWork W2161623493 @default.
- W1561895795 hasRelatedWork W2165857066 @default.
- W1561895795 hasRelatedWork W2529699941 @default.
- W1561895795 hasRelatedWork W2568717661 @default.
- W1561895795 hasRelatedWork W2735874758 @default.
- W1561895795 hasRelatedWork W2790622767 @default.
- W1561895795 hasRelatedWork W286035644 @default.
- W1561895795 hasRelatedWork W3023825575 @default.
- W1561895795 hasRelatedWork W331201524 @default.
- W1561895795 hasRelatedWork W2098599774 @default.
- W1561895795 isParatext "false" @default.
- W1561895795 isRetracted "false" @default.
- W1561895795 magId "1561895795" @default.
- W1561895795 workType "article" @default.