Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149282337> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2149282337 endingPage "455" @default.
- W2149282337 startingPage "435" @default.
- W2149282337 abstract "Strong (logic&term) equivalence of programs is the weakest decidable equivalence relation which approximates the functional equivalence of programs. In this paper we develop a new variant of the algorithm for checking strong equivalence of programs. A distinguished feature of our algorithm is that it relies completely on the algebra of finite substitutions which includes the operations of composition and antiunification. The paper begins with a short introduction to the theory of first-order substitutions. In the next section the formal first-order model of sequential programs and strong equivalence are defined. We also describe a preliminary variant of equivalence checking algorithm. This algorithm deals with composition and antiunification operations on finite substitutions. Since the complexity of these operations depends on data structures that represent substitutions, we consider in Section 4 graph-theoretic representations of substitutions as well as upper and lower bounds on the complexity of basic operations on substitutions. To reduce the complexity of equivalence checking algorithm for sequential programs we introduce in Section 5 a new class of truncated substitutions and study the basic algebraic properties of composition and antiunification operations on truncated substitutions. In Section 6 we showed that both operations on truncated substitutions can be performed in time O(n^2). Finally, in Section 7 using the properties of truncated substitutions we introduced an improved version of the equivalence checking algorithm and proved that its time complexity is O(n^6) on the size of programs to be checked." @default.
- W2149282337 created "2016-06-24" @default.
- W2149282337 creator A5002605550 @default.
- W2149282337 creator A5062447638 @default.
- W2149282337 date "2012-01-01" @default.
- W2149282337 modified "2023-09-27" @default.
- W2149282337 title "Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ" @default.
- W2149282337 cites W138920770 @default.
- W2149282337 cites W1562307676 @default.
- W2149282337 cites W1593203335 @default.
- W2149282337 cites W1598890912 @default.
- W2149282337 cites W1977115070 @default.
- W2149282337 cites W2034764251 @default.
- W2149282337 cites W2038945974 @default.
- W2149282337 cites W2153887189 @default.
- W2149282337 cites W2912089137 @default.
- W2149282337 cites W2912258941 @default.
- W2149282337 cites W341687455 @default.
- W2149282337 cites W1569963244 @default.
- W2149282337 hasPublicationYear "2012" @default.
- W2149282337 type Work @default.
- W2149282337 sameAs 2149282337 @default.
- W2149282337 citedByCount "0" @default.
- W2149282337 crossrefType "journal-article" @default.
- W2149282337 hasAuthorship W2149282337A5002605550 @default.
- W2149282337 hasAuthorship W2149282337A5062447638 @default.
- W2149282337 hasConcept C110251889 @default.
- W2149282337 hasConcept C11413529 @default.
- W2149282337 hasConcept C118615104 @default.
- W2149282337 hasConcept C153269930 @default.
- W2149282337 hasConcept C156103551 @default.
- W2149282337 hasConcept C2780069185 @default.
- W2149282337 hasConcept C33923547 @default.
- W2149282337 hasConcept C41008148 @default.
- W2149282337 hasConcept C70846408 @default.
- W2149282337 hasConcept C96654402 @default.
- W2149282337 hasConceptScore W2149282337C110251889 @default.
- W2149282337 hasConceptScore W2149282337C11413529 @default.
- W2149282337 hasConceptScore W2149282337C118615104 @default.
- W2149282337 hasConceptScore W2149282337C153269930 @default.
- W2149282337 hasConceptScore W2149282337C156103551 @default.
- W2149282337 hasConceptScore W2149282337C2780069185 @default.
- W2149282337 hasConceptScore W2149282337C33923547 @default.
- W2149282337 hasConceptScore W2149282337C41008148 @default.
- W2149282337 hasConceptScore W2149282337C70846408 @default.
- W2149282337 hasConceptScore W2149282337C96654402 @default.
- W2149282337 hasLocation W21492823371 @default.
- W2149282337 hasOpenAccess W2149282337 @default.
- W2149282337 hasPrimaryLocation W21492823371 @default.
- W2149282337 hasVolume "22" @default.
- W2149282337 isParatext "false" @default.
- W2149282337 isRetracted "false" @default.
- W2149282337 magId "2149282337" @default.
- W2149282337 workType "article" @default.