Matches in SemOpenAlex for { <https://semopenalex.org/work/W4315702764> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W4315702764 abstract "Semantics-preserving source-to-source program transformations, such as optimization and refactoring, are essential for software development. Such transformations are often defined by rewriting rules describing which part of a program must be replaced with which subprogram. The main obstacle to designing a transformation is to prove its semantics preservation. Rewriting-rule-based frameworks alleviate this difficulty by giving proof guidelines or automating the proofs. Unfortunately, each framework is applicable to a restricted set of transformations due to a fixed definition of semantics preservation. Cousot and Cousot’s semantic transformation framework resolves this problem by leaving a space for its users to define a proper semantics preservation property. However, the framework does not exploit the characteristic of rewriting rules and fails to ease the proofs. In this work, we define a semantic transformation framework tailored to rewriting rules by refining Cousot and Cousot’s framework. Our framework facilitates modular proofs by providing syntax-directed guidelines and theorems that simplify proofs. We show the versatility of our framework by proving the semantics preservation of six well-known transformations." @default.
- W4315702764 created "2023-01-12" @default.
- W4315702764 creator A5024932910 @default.
- W4315702764 creator A5080834216 @default.
- W4315702764 creator A5087492388 @default.
- W4315702764 date "2023-01-15" @default.
- W4315702764 modified "2023-09-27" @default.
- W4315702764 title "Semantic Transformation Framework for Rewriting Rules" @default.
- W4315702764 cites W1503028102 @default.
- W4315702764 cites W1540546860 @default.
- W4315702764 cites W1583783031 @default.
- W4315702764 cites W1606028453 @default.
- W4315702764 cites W1988272993 @default.
- W4315702764 cites W1998368317 @default.
- W4315702764 cites W2003164052 @default.
- W4315702764 cites W2008609084 @default.
- W4315702764 cites W2065635796 @default.
- W4315702764 cites W2067776455 @default.
- W4315702764 cites W2088056808 @default.
- W4315702764 cites W2099017529 @default.
- W4315702764 cites W2117065635 @default.
- W4315702764 cites W2126891436 @default.
- W4315702764 cites W2127919458 @default.
- W4315702764 cites W2128433129 @default.
- W4315702764 cites W2129695855 @default.
- W4315702764 cites W2134087751 @default.
- W4315702764 cites W2139212997 @default.
- W4315702764 cites W2149996206 @default.
- W4315702764 cites W2150815772 @default.
- W4315702764 cites W3193613247 @default.
- W4315702764 cites W4247332426 @default.
- W4315702764 doi "https://doi.org/10.1145/3571786.3573016" @default.
- W4315702764 hasPublicationYear "2023" @default.
- W4315702764 type Work @default.
- W4315702764 citedByCount "0" @default.
- W4315702764 crossrefType "proceedings-article" @default.
- W4315702764 hasAuthorship W4315702764A5024932910 @default.
- W4315702764 hasAuthorship W4315702764A5080834216 @default.
- W4315702764 hasAuthorship W4315702764A5087492388 @default.
- W4315702764 hasConcept C104317684 @default.
- W4315702764 hasConcept C108710211 @default.
- W4315702764 hasConcept C132525143 @default.
- W4315702764 hasConcept C152752567 @default.
- W4315702764 hasConcept C154690210 @default.
- W4315702764 hasConcept C154945302 @default.
- W4315702764 hasConcept C156325763 @default.
- W4315702764 hasConcept C184337299 @default.
- W4315702764 hasConcept C185592680 @default.
- W4315702764 hasConcept C199360897 @default.
- W4315702764 hasConcept C204241405 @default.
- W4315702764 hasConcept C2524010 @default.
- W4315702764 hasConcept C2777904410 @default.
- W4315702764 hasConcept C2778361913 @default.
- W4315702764 hasConcept C33923547 @default.
- W4315702764 hasConcept C41008148 @default.
- W4315702764 hasConcept C55493867 @default.
- W4315702764 hasConcept C558772884 @default.
- W4315702764 hasConcept C60048249 @default.
- W4315702764 hasConcept C80444323 @default.
- W4315702764 hasConceptScore W4315702764C104317684 @default.
- W4315702764 hasConceptScore W4315702764C108710211 @default.
- W4315702764 hasConceptScore W4315702764C132525143 @default.
- W4315702764 hasConceptScore W4315702764C152752567 @default.
- W4315702764 hasConceptScore W4315702764C154690210 @default.
- W4315702764 hasConceptScore W4315702764C154945302 @default.
- W4315702764 hasConceptScore W4315702764C156325763 @default.
- W4315702764 hasConceptScore W4315702764C184337299 @default.
- W4315702764 hasConceptScore W4315702764C185592680 @default.
- W4315702764 hasConceptScore W4315702764C199360897 @default.
- W4315702764 hasConceptScore W4315702764C204241405 @default.
- W4315702764 hasConceptScore W4315702764C2524010 @default.
- W4315702764 hasConceptScore W4315702764C2777904410 @default.
- W4315702764 hasConceptScore W4315702764C2778361913 @default.
- W4315702764 hasConceptScore W4315702764C33923547 @default.
- W4315702764 hasConceptScore W4315702764C41008148 @default.
- W4315702764 hasConceptScore W4315702764C55493867 @default.
- W4315702764 hasConceptScore W4315702764C558772884 @default.
- W4315702764 hasConceptScore W4315702764C60048249 @default.
- W4315702764 hasConceptScore W4315702764C80444323 @default.
- W4315702764 hasFunder F4320322120 @default.
- W4315702764 hasFunder F4320335489 @default.
- W4315702764 hasLocation W43157027641 @default.
- W4315702764 hasOpenAccess W4315702764 @default.
- W4315702764 hasPrimaryLocation W43157027641 @default.
- W4315702764 hasRelatedWork W1484092744 @default.
- W4315702764 hasRelatedWork W1569780408 @default.
- W4315702764 hasRelatedWork W1604240374 @default.
- W4315702764 hasRelatedWork W2030762481 @default.
- W4315702764 hasRelatedWork W2045216220 @default.
- W4315702764 hasRelatedWork W2108363806 @default.
- W4315702764 hasRelatedWork W2299441260 @default.
- W4315702764 hasRelatedWork W2563216661 @default.
- W4315702764 hasRelatedWork W2585545025 @default.
- W4315702764 hasRelatedWork W2787105657 @default.
- W4315702764 isParatext "false" @default.
- W4315702764 isRetracted "false" @default.
- W4315702764 workType "article" @default.