Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186798423> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2186798423 abstract "This thesis describes methods for transforming imperative programs. These transformations are semantics preserving and therefore provide a means of producing a correct efficient program from an inefficient but clear program. Although imperative programming languages are more widely used than functional ones, much more transformation work has been done for the latter. This is mainly because of the more complex nature of imperative programming languages. We extend the usual notion of transformation by introducing a transformation rule, in addition to axioms. This rule is strongly related to the fixed-point characterization rule for the while construct. Whereas transformation axioms have side conditions to restrict their instantiations, our transformation rule has a conclusion which is dependent upon another transformation being possible. That is, A,B,C,D are programs, in addition to the axiom form of transformation, transforms to B, we introduce the rule form of transformation, if A transforms to B then C transforms to D. We generalise this rule to be context-specific. We have implemented our transformation system, and we give many examples. As a strong indication of the power of the system we prove that a subset of it is sufficient to derive the usual Hoare's logic. This involves setting up a correspondence between bare triples and semantic equivalences. We also discuss the relationship between our system and the Unfold/Fold (UF) system of Burstall and Darlington. We derive a subset of our system using UF via a translation system, but argue that to be a fair comparison we must include a notion of relatively reasonable translation." @default.
- W2186798423 created "2016-06-24" @default.
- W2186798423 creator A5078404286 @default.
- W2186798423 date "1988-01-01" @default.
- W2186798423 modified "2023-09-24" @default.
- W2186798423 title "Transforming imperative programs" @default.
- W2186798423 cites W102305164 @default.
- W2186798423 cites W1551447924 @default.
- W2186798423 cites W1562824671 @default.
- W2186798423 cites W1563281959 @default.
- W2186798423 cites W1862561512 @default.
- W2186798423 cites W1972401918 @default.
- W2186798423 cites W2001847301 @default.
- W2186798423 cites W2014888499 @default.
- W2186798423 cites W2015438771 @default.
- W2186798423 cites W2015477722 @default.
- W2186798423 cites W2032277118 @default.
- W2186798423 cites W2036395016 @default.
- W2186798423 cites W2038862832 @default.
- W2186798423 cites W2041547763 @default.
- W2186798423 cites W2041643207 @default.
- W2186798423 cites W2055099198 @default.
- W2186798423 cites W2062968803 @default.
- W2186798423 cites W2077265102 @default.
- W2186798423 cites W2077271799 @default.
- W2186798423 cites W2089745307 @default.
- W2186798423 cites W2094243107 @default.
- W2186798423 cites W2094837773 @default.
- W2186798423 cites W2164591125 @default.
- W2186798423 cites W2172307690 @default.
- W2186798423 cites W2279502020 @default.
- W2186798423 cites W2413260086 @default.
- W2186798423 cites W586653295 @default.
- W2186798423 hasPublicationYear "1988" @default.
- W2186798423 type Work @default.
- W2186798423 sameAs 2186798423 @default.
- W2186798423 citedByCount "0" @default.
- W2186798423 crossrefType "dissertation" @default.
- W2186798423 hasAuthorship W2186798423A5078404286 @default.
- W2186798423 hasConcept C104317684 @default.
- W2186798423 hasConcept C136119220 @default.
- W2186798423 hasConcept C151730666 @default.
- W2186798423 hasConcept C167729594 @default.
- W2186798423 hasConcept C185592680 @default.
- W2186798423 hasConcept C199360897 @default.
- W2186798423 hasConcept C202444582 @default.
- W2186798423 hasConcept C204241405 @default.
- W2186798423 hasConcept C2524010 @default.
- W2186798423 hasConcept C2778361913 @default.
- W2186798423 hasConcept C2779343474 @default.
- W2186798423 hasConcept C33923547 @default.
- W2186798423 hasConcept C41008148 @default.
- W2186798423 hasConcept C55493867 @default.
- W2186798423 hasConcept C80444323 @default.
- W2186798423 hasConcept C86803240 @default.
- W2186798423 hasConceptScore W2186798423C104317684 @default.
- W2186798423 hasConceptScore W2186798423C136119220 @default.
- W2186798423 hasConceptScore W2186798423C151730666 @default.
- W2186798423 hasConceptScore W2186798423C167729594 @default.
- W2186798423 hasConceptScore W2186798423C185592680 @default.
- W2186798423 hasConceptScore W2186798423C199360897 @default.
- W2186798423 hasConceptScore W2186798423C202444582 @default.
- W2186798423 hasConceptScore W2186798423C204241405 @default.
- W2186798423 hasConceptScore W2186798423C2524010 @default.
- W2186798423 hasConceptScore W2186798423C2778361913 @default.
- W2186798423 hasConceptScore W2186798423C2779343474 @default.
- W2186798423 hasConceptScore W2186798423C33923547 @default.
- W2186798423 hasConceptScore W2186798423C41008148 @default.
- W2186798423 hasConceptScore W2186798423C55493867 @default.
- W2186798423 hasConceptScore W2186798423C80444323 @default.
- W2186798423 hasConceptScore W2186798423C86803240 @default.
- W2186798423 hasLocation W21867984231 @default.
- W2186798423 hasOpenAccess W2186798423 @default.
- W2186798423 hasPrimaryLocation W21867984231 @default.
- W2186798423 hasRelatedWork W1602760582 @default.
- W2186798423 hasRelatedWork W2147192567 @default.
- W2186798423 hasRelatedWork W2284565114 @default.
- W2186798423 hasRelatedWork W2995218591 @default.
- W2186798423 isParatext "false" @default.
- W2186798423 isRetracted "false" @default.
- W2186798423 magId "2186798423" @default.
- W2186798423 workType "dissertation" @default.