Matches in SemOpenAlex for { <https://semopenalex.org/work/W2370577011> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2370577011 abstract "This paper proposes a theory of program expansion on orthogonal program systems which is a new approach to the analysis, proof and manipulation of computer programs. Its theoretical foundations, expansion methods and applications to programming have been investigated. The existence and uniqueness of program expansions on orthogonal systems have been proved and a condition of convergence obtained. The method of expanding recursire programs is based on the properties of orthogonal mappings. An expansion theorem is proved which can be used to solve both linear and nonlinear recursive equations of program. This paper also gives a number of examples of the application of program expansion to the proof of the properties of programs and to program transformation." @default.
- W2370577011 created "2016-06-24" @default.
- W2370577011 creator A5035976373 @default.
- W2370577011 date "1988-01-01" @default.
- W2370577011 modified "2023-09-25" @default.
- W2370577011 title "A THEORY OF PROGRAM EXPANSION" @default.
- W2370577011 hasPublicationYear "1988" @default.
- W2370577011 type Work @default.
- W2370577011 sameAs 2370577011 @default.
- W2370577011 citedByCount "1" @default.
- W2370577011 crossrefType "journal-article" @default.
- W2370577011 hasAuthorship W2370577011A5035976373 @default.
- W2370577011 hasConcept C104317684 @default.
- W2370577011 hasConcept C11413529 @default.
- W2370577011 hasConcept C126255220 @default.
- W2370577011 hasConcept C134306372 @default.
- W2370577011 hasConcept C136119220 @default.
- W2370577011 hasConcept C162324750 @default.
- W2370577011 hasConcept C185592680 @default.
- W2370577011 hasConcept C186080144 @default.
- W2370577011 hasConcept C199343813 @default.
- W2370577011 hasConcept C199360897 @default.
- W2370577011 hasConcept C202444582 @default.
- W2370577011 hasConcept C204241405 @default.
- W2370577011 hasConcept C2777021972 @default.
- W2370577011 hasConcept C2777303404 @default.
- W2370577011 hasConcept C2777362769 @default.
- W2370577011 hasConcept C2777686260 @default.
- W2370577011 hasConcept C28826006 @default.
- W2370577011 hasConcept C33923547 @default.
- W2370577011 hasConcept C41008148 @default.
- W2370577011 hasConcept C50522688 @default.
- W2370577011 hasConcept C55493867 @default.
- W2370577011 hasConcept C71924100 @default.
- W2370577011 hasConceptScore W2370577011C104317684 @default.
- W2370577011 hasConceptScore W2370577011C11413529 @default.
- W2370577011 hasConceptScore W2370577011C126255220 @default.
- W2370577011 hasConceptScore W2370577011C134306372 @default.
- W2370577011 hasConceptScore W2370577011C136119220 @default.
- W2370577011 hasConceptScore W2370577011C162324750 @default.
- W2370577011 hasConceptScore W2370577011C185592680 @default.
- W2370577011 hasConceptScore W2370577011C186080144 @default.
- W2370577011 hasConceptScore W2370577011C199343813 @default.
- W2370577011 hasConceptScore W2370577011C199360897 @default.
- W2370577011 hasConceptScore W2370577011C202444582 @default.
- W2370577011 hasConceptScore W2370577011C204241405 @default.
- W2370577011 hasConceptScore W2370577011C2777021972 @default.
- W2370577011 hasConceptScore W2370577011C2777303404 @default.
- W2370577011 hasConceptScore W2370577011C2777362769 @default.
- W2370577011 hasConceptScore W2370577011C2777686260 @default.
- W2370577011 hasConceptScore W2370577011C28826006 @default.
- W2370577011 hasConceptScore W2370577011C33923547 @default.
- W2370577011 hasConceptScore W2370577011C41008148 @default.
- W2370577011 hasConceptScore W2370577011C50522688 @default.
- W2370577011 hasConceptScore W2370577011C55493867 @default.
- W2370577011 hasConceptScore W2370577011C71924100 @default.
- W2370577011 hasLocation W23705770111 @default.
- W2370577011 hasOpenAccess W2370577011 @default.
- W2370577011 hasPrimaryLocation W23705770111 @default.
- W2370577011 hasRelatedWork W1511458851 @default.
- W2370577011 hasRelatedWork W1578763327 @default.
- W2370577011 hasRelatedWork W1915412374 @default.
- W2370577011 hasRelatedWork W1965205764 @default.
- W2370577011 hasRelatedWork W2005417050 @default.
- W2370577011 hasRelatedWork W2074567755 @default.
- W2370577011 hasRelatedWork W2367426675 @default.
- W2370577011 hasRelatedWork W2772827122 @default.
- W2370577011 hasRelatedWork W3016062237 @default.
- W2370577011 hasRelatedWork W304325375 @default.
- W2370577011 hasRelatedWork W3176361014 @default.
- W2370577011 hasRelatedWork W47536230 @default.
- W2370577011 hasRelatedWork W53549275 @default.
- W2370577011 hasRelatedWork W57563296 @default.
- W2370577011 hasRelatedWork W810433111 @default.
- W2370577011 hasRelatedWork W1555364327 @default.
- W2370577011 hasRelatedWork W2118434911 @default.
- W2370577011 hasRelatedWork W2146296412 @default.
- W2370577011 hasRelatedWork W283220955 @default.
- W2370577011 hasRelatedWork W52222694 @default.
- W2370577011 isParatext "false" @default.
- W2370577011 isRetracted "false" @default.
- W2370577011 magId "2370577011" @default.
- W2370577011 workType "article" @default.