Matches in SemOpenAlex for { <https://semopenalex.org/work/W2745973115> ?p ?o ?g. }
- W2745973115 abstract "The execution of sequential programs allows them to be represented using mathematical functions formed by the composition of statements following one after the other. Each such statement is in itself a partial function, which allows only inputs satisfying a particular Boolean condition to carry forward the execution and hence, the composition of such functions (as a result of sequential execution of the statements) strengthens the valid set of input state variables for the program to complete its execution and halt succesfully. With this thought in mind, this paper tries to study a particular class of partial functions, which tend to preserve the truth of two given Boolean conditions whenever the state variables satisfying one are mapped through such functions into a domain of state variables satisfying the other. The existence of such maps allows us to study isomorphism between different programs, based not only on their structural characteristics (e.g. the kind of programming constructs used and the overall input-output transformation), but also the nature of computation performed on seemingly different inputs. Consequently, we can now relate programs which perform a given type of computation, like a loop counting down indefinitely, without caring about the input sets they work on individually or the set of statements each program contains." @default.
- W2745973115 created "2017-08-31" @default.
- W2745973115 creator A5068227018 @default.
- W2745973115 date "2017-08-18" @default.
- W2745973115 modified "2023-10-11" @default.
- W2745973115 title "A similarity criterion for sequential programs using truth-preserving partial functions" @default.
- W2745973115 cites W113552438 @default.
- W2745973115 cites W128216664 @default.
- W2745973115 cites W1496947201 @default.
- W2745973115 cites W1561980803 @default.
- W2745973115 cites W1562499969 @default.
- W2745973115 cites W1580465142 @default.
- W2745973115 cites W1604953957 @default.
- W2745973115 cites W1633340509 @default.
- W2745973115 cites W1768003599 @default.
- W2745973115 cites W1967109918 @default.
- W2745973115 cites W1969947998 @default.
- W2745973115 cites W1971184080 @default.
- W2745973115 cites W1972913387 @default.
- W2745973115 cites W1977507769 @default.
- W2745973115 cites W1982615521 @default.
- W2745973115 cites W1988503504 @default.
- W2745973115 cites W1994333561 @default.
- W2745973115 cites W1994584977 @default.
- W2745973115 cites W1999997706 @default.
- W2745973115 cites W2008081946 @default.
- W2745973115 cites W2008734993 @default.
- W2745973115 cites W2012131382 @default.
- W2745973115 cites W2014030742 @default.
- W2745973115 cites W2015965805 @default.
- W2745973115 cites W2021733867 @default.
- W2745973115 cites W2023403404 @default.
- W2745973115 cites W2026762798 @default.
- W2745973115 cites W2048172960 @default.
- W2745973115 cites W2055093184 @default.
- W2745973115 cites W2059683211 @default.
- W2745973115 cites W2064726690 @default.
- W2745973115 cites W2069300761 @default.
- W2745973115 cites W2071312301 @default.
- W2745973115 cites W2072538249 @default.
- W2745973115 cites W2078503376 @default.
- W2745973115 cites W2089195129 @default.
- W2745973115 cites W2093397547 @default.
- W2745973115 cites W2107529934 @default.
- W2745973115 cites W2111768547 @default.
- W2745973115 cites W2126160338 @default.
- W2745973115 cites W2126359798 @default.
- W2745973115 cites W2144344516 @default.
- W2745973115 cites W2147405597 @default.
- W2745973115 cites W2147975091 @default.
- W2745973115 cites W2168654016 @default.
- W2745973115 cites W2292996153 @default.
- W2745973115 cites W2295268496 @default.
- W2745973115 cites W2316406086 @default.
- W2745973115 cites W2752853835 @default.
- W2745973115 cites W3145128584 @default.
- W2745973115 cites W1807586309 @default.
- W2745973115 cites W1934005735 @default.
- W2745973115 cites W2087109857 @default.
- W2745973115 hasPublicationYear "2017" @default.
- W2745973115 type Work @default.
- W2745973115 sameAs 2745973115 @default.
- W2745973115 citedByCount "0" @default.
- W2745973115 crossrefType "posted-content" @default.
- W2745973115 hasAuthorship W2745973115A5068227018 @default.
- W2745973115 hasConcept C104317684 @default.
- W2745973115 hasConcept C11413529 @default.
- W2745973115 hasConcept C115624301 @default.
- W2745973115 hasConcept C118615104 @default.
- W2745973115 hasConcept C134306372 @default.
- W2745973115 hasConcept C136726353 @default.
- W2745973115 hasConcept C138885662 @default.
- W2745973115 hasConcept C14036430 @default.
- W2745973115 hasConcept C154945302 @default.
- W2745973115 hasConcept C177264268 @default.
- W2745973115 hasConcept C17744445 @default.
- W2745973115 hasConcept C182359184 @default.
- W2745973115 hasConcept C185592680 @default.
- W2745973115 hasConcept C187455244 @default.
- W2745973115 hasConcept C195701839 @default.
- W2745973115 hasConcept C199360897 @default.
- W2745973115 hasConcept C199539241 @default.
- W2745973115 hasConcept C203436722 @default.
- W2745973115 hasConcept C204241405 @default.
- W2745973115 hasConcept C2777026412 @default.
- W2745973115 hasConcept C2777212361 @default.
- W2745973115 hasConcept C2778361913 @default.
- W2745973115 hasConcept C33923547 @default.
- W2745973115 hasConcept C36503486 @default.
- W2745973115 hasConcept C40231798 @default.
- W2745973115 hasConcept C41008148 @default.
- W2745973115 hasConcept C41895202 @default.
- W2745973115 hasConcept C45374587 @default.
- W2745973115 hasConcept C46274116 @default.
- W2745973115 hasConcept C48103436 @default.
- W2745973115 hasConcept C55493867 @default.
- W2745973115 hasConcept C78458016 @default.
- W2745973115 hasConcept C8010536 @default.
- W2745973115 hasConcept C80444323 @default.
- W2745973115 hasConcept C86803240 @default.