Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103148769> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2103148769 abstract "This paper sketches a discipline for engineering which combines formal and semi-formal methods. Among the former is the algebra of programming, which we apply in reverse order so as to reconstruct formal specifications of legacy code. The latter includes code slicing, used as a means of trimming down the complexity of handling the formal semantics of all program variables at the same time. A strong point of the approach is its constructive style. Reverse calculations go as far as imploding auxiliary variables, introducing mutual recursion (if applicable) and transforming semantic functions into standard generic programming schemata such as cata/paramorphisms. We illustrate the approach by reversing a piece of code (from C to Haskell) already studied in the code-slicing literature: the word-count (wc) program." @default.
- W2103148769 created "2016-06-24" @default.
- W2103148769 creator A5036536049 @default.
- W2103148769 creator A5070407243 @default.
- W2103148769 date "2002-11-13" @default.
- W2103148769 modified "2023-09-22" @default.
- W2103148769 title "Reverse program calculation supported by code slicing" @default.
- W2103148769 cites W1577813418 @default.
- W2103148769 cites W1821701318 @default.
- W2103148769 cites W1857353355 @default.
- W2103148769 cites W1908156325 @default.
- W2103148769 cites W2002756500 @default.
- W2103148769 cites W2006267758 @default.
- W2103148769 cites W2023299380 @default.
- W2103148769 cites W2057992103 @default.
- W2103148769 cites W2060389467 @default.
- W2103148769 cites W2062950667 @default.
- W2103148769 cites W2085674537 @default.
- W2103148769 cites W2100788053 @default.
- W2103148769 cites W2107521173 @default.
- W2103148769 cites W2118866749 @default.
- W2103148769 cites W2147140044 @default.
- W2103148769 cites W2162046779 @default.
- W2103148769 cites W2162310108 @default.
- W2103148769 cites W2172307690 @default.
- W2103148769 cites W2293624369 @default.
- W2103148769 cites W2487105447 @default.
- W2103148769 cites W3181441684 @default.
- W2103148769 doi "https://doi.org/10.1109/wcre.2001.957808" @default.
- W2103148769 hasPublicationYear "2002" @default.
- W2103148769 type Work @default.
- W2103148769 sameAs 2103148769 @default.
- W2103148769 citedByCount "9" @default.
- W2103148769 countsByYear W21031487692015 @default.
- W2103148769 crossrefType "proceedings-article" @default.
- W2103148769 hasAuthorship W2103148769A5036536049 @default.
- W2103148769 hasAuthorship W2103148769A5070407243 @default.
- W2103148769 hasConcept C136764020 @default.
- W2103148769 hasConcept C168773036 @default.
- W2103148769 hasConcept C177264268 @default.
- W2103148769 hasConcept C184337299 @default.
- W2103148769 hasConcept C199360897 @default.
- W2103148769 hasConcept C207850805 @default.
- W2103148769 hasConcept C2776190703 @default.
- W2103148769 hasConcept C2776760102 @default.
- W2103148769 hasConcept C2777904410 @default.
- W2103148769 hasConcept C2778701210 @default.
- W2103148769 hasConcept C2780624054 @default.
- W2103148769 hasConcept C41008148 @default.
- W2103148769 hasConcept C42383842 @default.
- W2103148769 hasConcept C80444323 @default.
- W2103148769 hasConcept C91071405 @default.
- W2103148769 hasConcept C98045186 @default.
- W2103148769 hasConceptScore W2103148769C136764020 @default.
- W2103148769 hasConceptScore W2103148769C168773036 @default.
- W2103148769 hasConceptScore W2103148769C177264268 @default.
- W2103148769 hasConceptScore W2103148769C184337299 @default.
- W2103148769 hasConceptScore W2103148769C199360897 @default.
- W2103148769 hasConceptScore W2103148769C207850805 @default.
- W2103148769 hasConceptScore W2103148769C2776190703 @default.
- W2103148769 hasConceptScore W2103148769C2776760102 @default.
- W2103148769 hasConceptScore W2103148769C2777904410 @default.
- W2103148769 hasConceptScore W2103148769C2778701210 @default.
- W2103148769 hasConceptScore W2103148769C2780624054 @default.
- W2103148769 hasConceptScore W2103148769C41008148 @default.
- W2103148769 hasConceptScore W2103148769C42383842 @default.
- W2103148769 hasConceptScore W2103148769C80444323 @default.
- W2103148769 hasConceptScore W2103148769C91071405 @default.
- W2103148769 hasConceptScore W2103148769C98045186 @default.
- W2103148769 hasLocation W21031487691 @default.
- W2103148769 hasOpenAccess W2103148769 @default.
- W2103148769 hasPrimaryLocation W21031487691 @default.
- W2103148769 hasRelatedWork W1596917824 @default.
- W2103148769 hasRelatedWork W1599500495 @default.
- W2103148769 hasRelatedWork W1608152067 @default.
- W2103148769 hasRelatedWork W1608714802 @default.
- W2103148769 hasRelatedWork W178398187 @default.
- W2103148769 hasRelatedWork W1799755858 @default.
- W2103148769 hasRelatedWork W1828224469 @default.
- W2103148769 hasRelatedWork W1975551945 @default.
- W2103148769 hasRelatedWork W2022770502 @default.
- W2103148769 hasRelatedWork W2077622743 @default.
- W2103148769 hasRelatedWork W2084918693 @default.
- W2103148769 hasRelatedWork W2117822014 @default.
- W2103148769 hasRelatedWork W2124866283 @default.
- W2103148769 hasRelatedWork W2145268645 @default.
- W2103148769 hasRelatedWork W2153297607 @default.
- W2103148769 hasRelatedWork W2169040469 @default.
- W2103148769 hasRelatedWork W2984736028 @default.
- W2103148769 hasRelatedWork W3103318063 @default.
- W2103148769 hasRelatedWork W48973007 @default.
- W2103148769 hasRelatedWork W2113898191 @default.
- W2103148769 isParatext "false" @default.
- W2103148769 isRetracted "false" @default.
- W2103148769 magId "2103148769" @default.
- W2103148769 workType "article" @default.