Matches in SemOpenAlex for { <https://semopenalex.org/work/W1886137962> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1886137962 endingPage "69" @default.
- W1886137962 startingPage "43" @default.
- W1886137962 abstract "In this paper we briefly introduce a Wide Spectrum Language and its transformation theory and describe a recent success of the theory: a general recursion removal theorem. Recursion removal often forms an important step in the systematic development of an algorithm from a formal specification. We use semantic-preserving transformations to carry out such developments and the theorem proves the correctness of many different classes of recursion removal. This theorem includes as special cases the two techniques discussed by Knuth [13] and Bird [7]. We describe some applications of the theorem to cascade recursion, binary cascade recursion, Gray codes, and an inverse engineering problem.KeywordsBoolean FunctionRecursive CallRecursive ProcedureGray CodeSoftware MaintenanceThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1886137962 created "2016-06-24" @default.
- W1886137962 creator A5076832221 @default.
- W1886137962 date "1992-01-01" @default.
- W1886137962 modified "2023-09-27" @default.
- W1886137962 title "A Recursion Removal Theorem" @default.
- W1886137962 cites W1982474533 @default.
- W1886137962 cites W2011444209 @default.
- W1886137962 cites W2041643207 @default.
- W1886137962 cites W2045057107 @default.
- W1886137962 cites W2065302945 @default.
- W1886137962 cites W2075188242 @default.
- W1886137962 cites W2086869884 @default.
- W1886137962 cites W2177002043 @default.
- W1886137962 cites W4205872083 @default.
- W1886137962 doi "https://doi.org/10.1007/978-1-4471-3550-0_4" @default.
- W1886137962 hasPublicationYear "1992" @default.
- W1886137962 type Work @default.
- W1886137962 sameAs 1886137962 @default.
- W1886137962 citedByCount "10" @default.
- W1886137962 crossrefType "book-chapter" @default.
- W1886137962 hasAuthorship W1886137962A5076832221 @default.
- W1886137962 hasConcept C11413529 @default.
- W1886137962 hasConcept C124416688 @default.
- W1886137962 hasConcept C136119220 @default.
- W1886137962 hasConcept C139503435 @default.
- W1886137962 hasConcept C168773036 @default.
- W1886137962 hasConcept C202444582 @default.
- W1886137962 hasConcept C33923547 @default.
- W1886137962 hasConcept C41008148 @default.
- W1886137962 hasConcept C55439883 @default.
- W1886137962 hasConceptScore W1886137962C11413529 @default.
- W1886137962 hasConceptScore W1886137962C124416688 @default.
- W1886137962 hasConceptScore W1886137962C136119220 @default.
- W1886137962 hasConceptScore W1886137962C139503435 @default.
- W1886137962 hasConceptScore W1886137962C168773036 @default.
- W1886137962 hasConceptScore W1886137962C202444582 @default.
- W1886137962 hasConceptScore W1886137962C33923547 @default.
- W1886137962 hasConceptScore W1886137962C41008148 @default.
- W1886137962 hasConceptScore W1886137962C55439883 @default.
- W1886137962 hasLocation W18861379621 @default.
- W1886137962 hasOpenAccess W1886137962 @default.
- W1886137962 hasPrimaryLocation W18861379621 @default.
- W1886137962 hasRelatedWork W1520244229 @default.
- W1886137962 hasRelatedWork W1538267314 @default.
- W1886137962 hasRelatedWork W1917981004 @default.
- W1886137962 hasRelatedWork W1968602872 @default.
- W1886137962 hasRelatedWork W2010997439 @default.
- W1886137962 hasRelatedWork W2022144458 @default.
- W1886137962 hasRelatedWork W2088991121 @default.
- W1886137962 hasRelatedWork W2103953153 @default.
- W1886137962 hasRelatedWork W2106049187 @default.
- W1886137962 hasRelatedWork W2154039975 @default.
- W1886137962 hasRelatedWork W2163477915 @default.
- W1886137962 hasRelatedWork W2350646697 @default.
- W1886137962 hasRelatedWork W2368406342 @default.
- W1886137962 hasRelatedWork W2378062012 @default.
- W1886137962 hasRelatedWork W2379098066 @default.
- W1886137962 hasRelatedWork W2387091634 @default.
- W1886137962 hasRelatedWork W2487757060 @default.
- W1886137962 hasRelatedWork W2507136610 @default.
- W1886137962 hasRelatedWork W49475005 @default.
- W1886137962 hasRelatedWork W90338445 @default.
- W1886137962 isParatext "false" @default.
- W1886137962 isRetracted "false" @default.
- W1886137962 magId "1886137962" @default.
- W1886137962 workType "book-chapter" @default.