Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113012403> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2113012403 endingPage "215" @default.
- W2113012403 startingPage "139" @default.
- W2113012403 abstract "The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integration algorithm proposed by Horwitz, Prins, and Reps provides a way to create a semantics-based tool for integrating a base program with two or more variants. The integration algorithm is based on the assumption that any change in the behavior, rather than the text, of a program variant is significant and must be incorporated in the merged program. An integration system based on this algorithm will determine whether the variants incorporate interfering changes, and, if they do not, create an integrated program that includes all changes as well as all features of the base program that are preserved in all variants. To determine this information, the algorithm employs a program representation that is similar to the program dependence graphs that have been used previously in vectorizing and parallelizing compilers. This paper studies the algebraic properties of the program-integration operation, such as whether there are laws of associativity and distributivity. (For example, in this context associativity means: “If three variants of a given base are to be integrated by a pair two-variant integrations, the same result is produced no matter which two variants are integrated first.”) To answer such questions, we reformulate the Horwitz-Prins-Reps integration algorithm as an operation in a Brouwerian algebra constructed from sets of dependence graphs. (A Brouwerian algebra is a distributive lattice with an operation a ∸ b characterized by a ∸ b ⊑ c iff a ⊑ b ⊔ c.) In this algebra, the program-integration operation can be defined solely in terms of ⊔, ⊓, and ∸. By making use of the rich set of algebraic laws that hold in Brouwerian algebras, we have established a number of the integration operation's algebraic properties." @default.
- W2113012403 created "2016-06-24" @default.
- W2113012403 creator A5066155126 @default.
- W2113012403 date "1991-12-01" @default.
- W2113012403 modified "2023-10-18" @default.
- W2113012403 title "Algebraic properties of program integration" @default.
- W2113012403 cites W2007096790 @default.
- W2113012403 cites W2012822464 @default.
- W2113012403 cites W2033490389 @default.
- W2113012403 cites W2036211686 @default.
- W2113012403 cites W2064625489 @default.
- W2113012403 cites W2078220499 @default.
- W2113012403 cites W2085727054 @default.
- W2113012403 cites W2092483417 @default.
- W2113012403 cites W2111695742 @default.
- W2113012403 cites W2114876342 @default.
- W2113012403 cites W2137834032 @default.
- W2113012403 cites W2144344516 @default.
- W2113012403 cites W2166822586 @default.
- W2113012403 cites W2293624369 @default.
- W2113012403 cites W4253692155 @default.
- W2113012403 doi "https://doi.org/10.1016/0167-6423(91)90039-z" @default.
- W2113012403 hasPublicationYear "1991" @default.
- W2113012403 type Work @default.
- W2113012403 sameAs 2113012403 @default.
- W2113012403 citedByCount "32" @default.
- W2113012403 countsByYear W21130124032015 @default.
- W2113012403 countsByYear W21130124032017 @default.
- W2113012403 crossrefType "journal-article" @default.
- W2113012403 hasAuthorship W2113012403A5066155126 @default.
- W2113012403 hasBestOaLocation W21130124031 @default.
- W2113012403 hasConcept C11821877 @default.
- W2113012403 hasConcept C134306372 @default.
- W2113012403 hasConcept C136119220 @default.
- W2113012403 hasConcept C138390121 @default.
- W2113012403 hasConcept C159423971 @default.
- W2113012403 hasConcept C169590947 @default.
- W2113012403 hasConcept C199360897 @default.
- W2113012403 hasConcept C202444582 @default.
- W2113012403 hasConcept C33923547 @default.
- W2113012403 hasConcept C41008148 @default.
- W2113012403 hasConcept C80444323 @default.
- W2113012403 hasConcept C9376300 @default.
- W2113012403 hasConceptScore W2113012403C11821877 @default.
- W2113012403 hasConceptScore W2113012403C134306372 @default.
- W2113012403 hasConceptScore W2113012403C136119220 @default.
- W2113012403 hasConceptScore W2113012403C138390121 @default.
- W2113012403 hasConceptScore W2113012403C159423971 @default.
- W2113012403 hasConceptScore W2113012403C169590947 @default.
- W2113012403 hasConceptScore W2113012403C199360897 @default.
- W2113012403 hasConceptScore W2113012403C202444582 @default.
- W2113012403 hasConceptScore W2113012403C33923547 @default.
- W2113012403 hasConceptScore W2113012403C41008148 @default.
- W2113012403 hasConceptScore W2113012403C80444323 @default.
- W2113012403 hasConceptScore W2113012403C9376300 @default.
- W2113012403 hasIssue "1-3" @default.
- W2113012403 hasLocation W21130124031 @default.
- W2113012403 hasLocation W21130124032 @default.
- W2113012403 hasLocation W21130124033 @default.
- W2113012403 hasOpenAccess W2113012403 @default.
- W2113012403 hasPrimaryLocation W21130124031 @default.
- W2113012403 hasRelatedWork W1497385637 @default.
- W2113012403 hasRelatedWork W1512248002 @default.
- W2113012403 hasRelatedWork W2004605222 @default.
- W2113012403 hasRelatedWork W2044422526 @default.
- W2113012403 hasRelatedWork W2086733238 @default.
- W2113012403 hasRelatedWork W2192862863 @default.
- W2113012403 hasRelatedWork W2369288331 @default.
- W2113012403 hasRelatedWork W2519339279 @default.
- W2113012403 hasRelatedWork W89996766 @default.
- W2113012403 hasRelatedWork W2467097043 @default.
- W2113012403 hasVolume "17" @default.
- W2113012403 isParatext "false" @default.
- W2113012403 isRetracted "false" @default.
- W2113012403 magId "2113012403" @default.
- W2113012403 workType "article" @default.