Matches in SemOpenAlex for { <https://semopenalex.org/work/W29713699> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W29713699 abstract "A programming methodology based on schema transformations is presented. Such an approach is a logical outcome of recent developments in program manipulating systems. Concurrent development of algorithms and their proofs of correctness is a significant feature of the proposed methodology. As the development process begins with an abstract schema, it is often possible to derive several related end algorithms in a single development process. This has implications in both the economics of software development and the understanding and teaching of algorithms. The initial schematic specification (a skeleton algorithm schema), the intermediate and final algorithm schemata are all expressed in Darlington's first-order recursion equation language exploiting set-theoretic constructs. A set of transformation rules together with a set of reduction rules for set expressions is then used to successively transform the schematic specification into different algorithm schemata. Most of the transformations are applications of a small number of common rewriting rules." @default.
- W29713699 created "2016-06-24" @default.
- W29713699 creator A5024516002 @default.
- W29713699 date "1982-07-01" @default.
- W29713699 modified "2023-09-26" @default.
- W29713699 title "A Methodology for Algorithm Development Through Schema Transformations" @default.
- W29713699 cites W1493363766 @default.
- W29713699 cites W1975054641 @default.
- W29713699 cites W1995384620 @default.
- W29713699 cites W1996081324 @default.
- W29713699 cites W1996508547 @default.
- W29713699 cites W2013373314 @default.
- W29713699 cites W2023299380 @default.
- W29713699 cites W2028957927 @default.
- W29713699 cites W2038862832 @default.
- W29713699 cites W2039339864 @default.
- W29713699 cites W2050034390 @default.
- W29713699 cites W2101188827 @default.
- W29713699 cites W2138340202 @default.
- W29713699 cites W2148817888 @default.
- W29713699 cites W3023216518 @default.
- W29713699 hasPublicationYear "1982" @default.
- W29713699 type Work @default.
- W29713699 sameAs 29713699 @default.
- W29713699 citedByCount "0" @default.
- W29713699 crossrefType "journal-article" @default.
- W29713699 hasAuthorship W29713699A5024516002 @default.
- W29713699 hasConcept C108710211 @default.
- W29713699 hasConcept C11413529 @default.
- W29713699 hasConcept C119857082 @default.
- W29713699 hasConcept C127413603 @default.
- W29713699 hasConcept C154690210 @default.
- W29713699 hasConcept C168773036 @default.
- W29713699 hasConcept C192328126 @default.
- W29713699 hasConcept C199360897 @default.
- W29713699 hasConcept C24326235 @default.
- W29713699 hasConcept C2524010 @default.
- W29713699 hasConcept C33923547 @default.
- W29713699 hasConcept C41008148 @default.
- W29713699 hasConcept C52146309 @default.
- W29713699 hasConcept C55439883 @default.
- W29713699 hasConcept C80444323 @default.
- W29713699 hasConceptScore W29713699C108710211 @default.
- W29713699 hasConceptScore W29713699C11413529 @default.
- W29713699 hasConceptScore W29713699C119857082 @default.
- W29713699 hasConceptScore W29713699C127413603 @default.
- W29713699 hasConceptScore W29713699C154690210 @default.
- W29713699 hasConceptScore W29713699C168773036 @default.
- W29713699 hasConceptScore W29713699C192328126 @default.
- W29713699 hasConceptScore W29713699C199360897 @default.
- W29713699 hasConceptScore W29713699C24326235 @default.
- W29713699 hasConceptScore W29713699C2524010 @default.
- W29713699 hasConceptScore W29713699C33923547 @default.
- W29713699 hasConceptScore W29713699C41008148 @default.
- W29713699 hasConceptScore W29713699C52146309 @default.
- W29713699 hasConceptScore W29713699C55439883 @default.
- W29713699 hasConceptScore W29713699C80444323 @default.
- W29713699 hasLocation W297136991 @default.
- W29713699 hasOpenAccess W29713699 @default.
- W29713699 hasPrimaryLocation W297136991 @default.
- W29713699 hasRelatedWork W1110993702 @default.
- W29713699 hasRelatedWork W114258657 @default.
- W29713699 hasRelatedWork W1518453567 @default.
- W29713699 hasRelatedWork W1531487886 @default.
- W29713699 hasRelatedWork W1546568807 @default.
- W29713699 hasRelatedWork W1552647623 @default.
- W29713699 hasRelatedWork W1941709705 @default.
- W29713699 hasRelatedWork W2017184177 @default.
- W29713699 hasRelatedWork W2076944910 @default.
- W29713699 hasRelatedWork W2082285894 @default.
- W29713699 hasRelatedWork W2094243107 @default.
- W29713699 hasRelatedWork W2116175020 @default.
- W29713699 hasRelatedWork W2119142097 @default.
- W29713699 hasRelatedWork W2125643165 @default.
- W29713699 hasRelatedWork W2130164105 @default.
- W29713699 hasRelatedWork W2257571117 @default.
- W29713699 hasRelatedWork W3088074035 @default.
- W29713699 hasRelatedWork W3102223777 @default.
- W29713699 hasRelatedWork W3174107386 @default.
- W29713699 hasRelatedWork W3108072539 @default.
- W29713699 isParatext "false" @default.
- W29713699 isRetracted "false" @default.
- W29713699 magId "29713699" @default.
- W29713699 workType "article" @default.