Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017184177> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2017184177 endingPage "88" @default.
- W2017184177 startingPage "79" @default.
- W2017184177 abstract "Our goal is to develop techniques for abstracting a given set of concrete programs into a program schema and for instantiating a schema to satisfy concrete specifications. For example, from two programs using the binary-search method, one to compute quotients and another to compute cube-roots, an abstract schema is derived that embodies the method and that can be instantiated to solve similar new problems.We suggest the formulation of analogies as a basic tool in program abstraction. An analogy is first sought between the specifications of the given programs; this yields an abstract specification that may be instantiated to any of the given concrete specifications. The analogy is then used as a basis for transforming the existing programs into an abstract schema that represents the embedded technique. The invariant assertions and correctness proofs of the given programs are used to complete the analogy." @default.
- W2017184177 created "2016-06-24" @default.
- W2017184177 creator A5039993352 @default.
- W2017184177 date "1981-03-09" @default.
- W2017184177 modified "2023-09-25" @default.
- W2017184177 title "The evolution of programs: Program abstraction and instantiation" @default.
- W2017184177 cites W1558368302 @default.
- W2017184177 cites W1578830675 @default.
- W2017184177 cites W184719387 @default.
- W2017184177 cites W1971938274 @default.
- W2017184177 cites W1975054641 @default.
- W2017184177 cites W2003879744 @default.
- W2017184177 cites W2006284279 @default.
- W2017184177 cites W2038862832 @default.
- W2017184177 cites W2056589837 @default.
- W2017184177 cites W2060418144 @default.
- W2017184177 cites W2062968803 @default.
- W2017184177 cites W2113577335 @default.
- W2017184177 cites W2133622833 @default.
- W2017184177 doi "https://doi.org/10.5555/800078.802519" @default.
- W2017184177 hasPublicationYear "1981" @default.
- W2017184177 type Work @default.
- W2017184177 sameAs 2017184177 @default.
- W2017184177 citedByCount "0" @default.
- W2017184177 crossrefType "proceedings-article" @default.
- W2017184177 hasAuthorship W2017184177A5039993352 @default.
- W2017184177 hasConcept C108710211 @default.
- W2017184177 hasConcept C111472728 @default.
- W2017184177 hasConcept C124304363 @default.
- W2017184177 hasConcept C138885662 @default.
- W2017184177 hasConcept C199360897 @default.
- W2017184177 hasConcept C23123220 @default.
- W2017184177 hasConcept C2524010 @default.
- W2017184177 hasConcept C33923547 @default.
- W2017184177 hasConcept C41008148 @default.
- W2017184177 hasConcept C41895202 @default.
- W2017184177 hasConcept C521332185 @default.
- W2017184177 hasConcept C52146309 @default.
- W2017184177 hasConcept C55439883 @default.
- W2017184177 hasConcept C80444323 @default.
- W2017184177 hasConceptScore W2017184177C108710211 @default.
- W2017184177 hasConceptScore W2017184177C111472728 @default.
- W2017184177 hasConceptScore W2017184177C124304363 @default.
- W2017184177 hasConceptScore W2017184177C138885662 @default.
- W2017184177 hasConceptScore W2017184177C199360897 @default.
- W2017184177 hasConceptScore W2017184177C23123220 @default.
- W2017184177 hasConceptScore W2017184177C2524010 @default.
- W2017184177 hasConceptScore W2017184177C33923547 @default.
- W2017184177 hasConceptScore W2017184177C41008148 @default.
- W2017184177 hasConceptScore W2017184177C41895202 @default.
- W2017184177 hasConceptScore W2017184177C521332185 @default.
- W2017184177 hasConceptScore W2017184177C52146309 @default.
- W2017184177 hasConceptScore W2017184177C55439883 @default.
- W2017184177 hasConceptScore W2017184177C80444323 @default.
- W2017184177 hasLocation W20171841771 @default.
- W2017184177 hasOpenAccess W2017184177 @default.
- W2017184177 hasPrimaryLocation W20171841771 @default.
- W2017184177 hasRelatedWork W1491674474 @default.
- W2017184177 hasRelatedWork W1531487886 @default.
- W2017184177 hasRelatedWork W1540174309 @default.
- W2017184177 hasRelatedWork W1661923083 @default.
- W2017184177 hasRelatedWork W169343302 @default.
- W2017184177 hasRelatedWork W1941709705 @default.
- W2017184177 hasRelatedWork W2028415854 @default.
- W2017184177 hasRelatedWork W2047445439 @default.
- W2017184177 hasRelatedWork W2090184196 @default.
- W2017184177 hasRelatedWork W2111371022 @default.
- W2017184177 hasRelatedWork W2116175020 @default.
- W2017184177 hasRelatedWork W2125643165 @default.
- W2017184177 hasRelatedWork W2130164105 @default.
- W2017184177 hasRelatedWork W2257571117 @default.
- W2017184177 hasRelatedWork W2744687414 @default.
- W2017184177 hasRelatedWork W2760670085 @default.
- W2017184177 hasRelatedWork W29713699 @default.
- W2017184177 hasRelatedWork W3102223777 @default.
- W2017184177 hasRelatedWork W79787505 @default.
- W2017184177 hasRelatedWork W2534991041 @default.
- W2017184177 isParatext "false" @default.
- W2017184177 isRetracted "false" @default.
- W2017184177 magId "2017184177" @default.
- W2017184177 workType "article" @default.