Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016919797> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2016919797 endingPage "1031" @default.
- W2016919797 startingPage "993" @default.
- W2016919797 abstract "Abstract The transformational programming method of algorithm derivation starts with a formal specification of the result to be achieved, plus some informal ideas as to what techniques will be used in the implementation. The formal specification is then transformed into an implementation, by means of correctness-preserving refinement and transformation steps, guided by the informal ideas. The transformation process will typically include the following stages: (1) Formal specification (2) Elaboration of the specification, (3) Divide and conquer to handle the general case (4) Recursion introduction, (5) Recursion removal, if an iterative solution is desired, (6) Optimisation, if required. At any stage in the process, sub-specifications can be extracted and transformed separately. The main difference between this approach and the invariant based programming approach (and similar stepwise refinement methods) is that loops can be introduced and manipulated while maintaining program correctness and with no need to derive loop invariants. Another difference is that at every stage in the process we are working with a correct program: there is never any need for a separate “verification” step. These factors help to ensure that the method is capable of scaling up to the development of large and complex software systems. The method is applied to the derivation of a complex linked list algorithm and produces code which is over twice as fast as the code written by Donald Knuth to solve the same problem." @default.
- W2016919797 created "2016-06-24" @default.
- W2016919797 creator A5051297843 @default.
- W2016919797 creator A5076832221 @default.
- W2016919797 date "2014-09-01" @default.
- W2016919797 modified "2023-10-14" @default.
- W2016919797 title "Provably correct derivation of algorithms using FermaT" @default.
- W2016919797 cites W1563189921 @default.
- W2016919797 cites W1563841124 @default.
- W2016919797 cites W1574366287 @default.
- W2016919797 cites W1574621793 @default.
- W2016919797 cites W1965484730 @default.
- W2016919797 cites W1989809426 @default.
- W2016919797 cites W1990346177 @default.
- W2016919797 cites W1993152532 @default.
- W2016919797 cites W2013373314 @default.
- W2016919797 cites W2023299380 @default.
- W2016919797 cites W2030309884 @default.
- W2016919797 cites W2045057107 @default.
- W2016919797 cites W2068352960 @default.
- W2016919797 cites W2072030990 @default.
- W2016919797 cites W2072445029 @default.
- W2016919797 cites W2084338221 @default.
- W2016919797 cites W2109918206 @default.
- W2016919797 cites W2110846749 @default.
- W2016919797 cites W2115772852 @default.
- W2016919797 cites W2124209077 @default.
- W2016919797 cites W2142150321 @default.
- W2016919797 cites W2147543351 @default.
- W2016919797 cites W2177002043 @default.
- W2016919797 cites W2987977008 @default.
- W2016919797 cites W4214812299 @default.
- W2016919797 cites W4237645110 @default.
- W2016919797 cites W4252041214 @default.
- W2016919797 cites W661157 @default.
- W2016919797 doi "https://doi.org/10.1007/s00165-013-0287-2" @default.
- W2016919797 hasPublicationYear "2014" @default.
- W2016919797 type Work @default.
- W2016919797 sameAs 2016919797 @default.
- W2016919797 citedByCount "5" @default.
- W2016919797 countsByYear W20169197972014 @default.
- W2016919797 countsByYear W20169197972016 @default.
- W2016919797 countsByYear W20169197972017 @default.
- W2016919797 crossrefType "journal-article" @default.
- W2016919797 hasAuthorship W2016919797A5051297843 @default.
- W2016919797 hasAuthorship W2016919797A5076832221 @default.
- W2016919797 hasBestOaLocation W20169197971 @default.
- W2016919797 hasConcept C11413529 @default.
- W2016919797 hasConcept C116253237 @default.
- W2016919797 hasConcept C168773036 @default.
- W2016919797 hasConcept C190470478 @default.
- W2016919797 hasConcept C199360897 @default.
- W2016919797 hasConcept C24858836 @default.
- W2016919797 hasConcept C2778361913 @default.
- W2016919797 hasConcept C33923547 @default.
- W2016919797 hasConcept C37914503 @default.
- W2016919797 hasConcept C41008148 @default.
- W2016919797 hasConcept C55439883 @default.
- W2016919797 hasConcept C71559656 @default.
- W2016919797 hasConcept C75606506 @default.
- W2016919797 hasConcept C80444323 @default.
- W2016919797 hasConceptScore W2016919797C11413529 @default.
- W2016919797 hasConceptScore W2016919797C116253237 @default.
- W2016919797 hasConceptScore W2016919797C168773036 @default.
- W2016919797 hasConceptScore W2016919797C190470478 @default.
- W2016919797 hasConceptScore W2016919797C199360897 @default.
- W2016919797 hasConceptScore W2016919797C24858836 @default.
- W2016919797 hasConceptScore W2016919797C2778361913 @default.
- W2016919797 hasConceptScore W2016919797C33923547 @default.
- W2016919797 hasConceptScore W2016919797C37914503 @default.
- W2016919797 hasConceptScore W2016919797C41008148 @default.
- W2016919797 hasConceptScore W2016919797C55439883 @default.
- W2016919797 hasConceptScore W2016919797C71559656 @default.
- W2016919797 hasConceptScore W2016919797C75606506 @default.
- W2016919797 hasConceptScore W2016919797C80444323 @default.
- W2016919797 hasIssue "5" @default.
- W2016919797 hasLocation W20169197971 @default.
- W2016919797 hasLocation W20169197972 @default.
- W2016919797 hasOpenAccess W2016919797 @default.
- W2016919797 hasPrimaryLocation W20169197971 @default.
- W2016919797 hasRelatedWork W147241645 @default.
- W2016919797 hasRelatedWork W1974835578 @default.
- W2016919797 hasRelatedWork W1977144985 @default.
- W2016919797 hasRelatedWork W2026335217 @default.
- W2016919797 hasRelatedWork W2035814931 @default.
- W2016919797 hasRelatedWork W2062968803 @default.
- W2016919797 hasRelatedWork W2142545871 @default.
- W2016919797 hasRelatedWork W2149144703 @default.
- W2016919797 hasRelatedWork W2149537518 @default.
- W2016919797 hasRelatedWork W611419313 @default.
- W2016919797 hasVolume "26" @default.
- W2016919797 isParatext "false" @default.
- W2016919797 isRetracted "false" @default.
- W2016919797 magId "2016919797" @default.
- W2016919797 workType "article" @default.