Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097747488> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2097747488 abstract "In this paper we present a derivation of a general solution for a class of programming problems. In these problems a function over the vertices of a directed graph is to be computed, being defined as a least fixed point of some monotonic operator. If this operator satisfies a certain restriction with respect to its image for a differential change in its argument, it is called conservative, and an elegant general solution may be derived. It is stipulated that a strictly calculational derivation is only possible if the level of abstraction is sufficiently high. To that end a modest extension to the functional calculus is proposed, including partial functions, and a few simple high level programming constructs are introduced. The program scheme obtained is applied to a particular example, for which so far no derivation, other than informal ones, is known to exist. The solutions presented are not new, but the calculational, abstract and compact technique of deriving them is meant to improve and complement the current techniques [KNU77, REY81, REM84]. It is believed to simplify the derivations for a wider algorithm class [EIJ92] than the one treated here." @default.
- W2097747488 created "2016-06-24" @default.
- W2097747488 creator A5063528109 @default.
- W2097747488 date "1993-01-01" @default.
- W2097747488 modified "2023-09-26" @default.
- W2097747488 title "Conservative fixpoint functions on a graph" @default.
- W2097747488 cites W1559314111 @default.
- W2097747488 cites W1968270464 @default.
- W2097747488 cites W1975638108 @default.
- W2097747488 cites W1984678710 @default.
- W2097747488 cites W1994511561 @default.
- W2097747488 cites W2010194128 @default.
- W2097747488 cites W2023299380 @default.
- W2097747488 cites W2024023601 @default.
- W2097747488 cites W2060072995 @default.
- W2097747488 cites W2073544767 @default.
- W2097747488 cites W2169528473 @default.
- W2097747488 cites W2496556858 @default.
- W2097747488 doi "https://doi.org/10.1007/3-540-56625-2_9" @default.
- W2097747488 hasPublicationYear "1993" @default.
- W2097747488 type Work @default.
- W2097747488 sameAs 2097747488 @default.
- W2097747488 citedByCount "4" @default.
- W2097747488 countsByYear W20977474882012 @default.
- W2097747488 countsByYear W20977474882013 @default.
- W2097747488 crossrefType "book-chapter" @default.
- W2097747488 hasAuthorship W2097747488A5063528109 @default.
- W2097747488 hasBestOaLocation W20977474882 @default.
- W2097747488 hasConcept C104317684 @default.
- W2097747488 hasConcept C112313634 @default.
- W2097747488 hasConcept C11413529 @default.
- W2097747488 hasConcept C127716648 @default.
- W2097747488 hasConcept C132525143 @default.
- W2097747488 hasConcept C134306372 @default.
- W2097747488 hasConcept C158448853 @default.
- W2097747488 hasConcept C17020691 @default.
- W2097747488 hasConcept C185592680 @default.
- W2097747488 hasConcept C188082640 @default.
- W2097747488 hasConcept C199360897 @default.
- W2097747488 hasConcept C2778029271 @default.
- W2097747488 hasConcept C2780432614 @default.
- W2097747488 hasConcept C33923547 @default.
- W2097747488 hasConcept C41008148 @default.
- W2097747488 hasConcept C42383842 @default.
- W2097747488 hasConcept C55493867 @default.
- W2097747488 hasConcept C61445026 @default.
- W2097747488 hasConcept C72169020 @default.
- W2097747488 hasConcept C80444323 @default.
- W2097747488 hasConcept C86339819 @default.
- W2097747488 hasConceptScore W2097747488C104317684 @default.
- W2097747488 hasConceptScore W2097747488C112313634 @default.
- W2097747488 hasConceptScore W2097747488C11413529 @default.
- W2097747488 hasConceptScore W2097747488C127716648 @default.
- W2097747488 hasConceptScore W2097747488C132525143 @default.
- W2097747488 hasConceptScore W2097747488C134306372 @default.
- W2097747488 hasConceptScore W2097747488C158448853 @default.
- W2097747488 hasConceptScore W2097747488C17020691 @default.
- W2097747488 hasConceptScore W2097747488C185592680 @default.
- W2097747488 hasConceptScore W2097747488C188082640 @default.
- W2097747488 hasConceptScore W2097747488C199360897 @default.
- W2097747488 hasConceptScore W2097747488C2778029271 @default.
- W2097747488 hasConceptScore W2097747488C2780432614 @default.
- W2097747488 hasConceptScore W2097747488C33923547 @default.
- W2097747488 hasConceptScore W2097747488C41008148 @default.
- W2097747488 hasConceptScore W2097747488C42383842 @default.
- W2097747488 hasConceptScore W2097747488C55493867 @default.
- W2097747488 hasConceptScore W2097747488C61445026 @default.
- W2097747488 hasConceptScore W2097747488C72169020 @default.
- W2097747488 hasConceptScore W2097747488C80444323 @default.
- W2097747488 hasConceptScore W2097747488C86339819 @default.
- W2097747488 hasLocation W20977474881 @default.
- W2097747488 hasLocation W20977474882 @default.
- W2097747488 hasOpenAccess W2097747488 @default.
- W2097747488 hasPrimaryLocation W20977474881 @default.
- W2097747488 hasRelatedWork W1495843174 @default.
- W2097747488 hasRelatedWork W1501048703 @default.
- W2097747488 hasRelatedWork W1604013339 @default.
- W2097747488 hasRelatedWork W1868063025 @default.
- W2097747488 hasRelatedWork W2025170645 @default.
- W2097747488 hasRelatedWork W2038124839 @default.
- W2097747488 hasRelatedWork W2076696436 @default.
- W2097747488 hasRelatedWork W2142030149 @default.
- W2097747488 hasRelatedWork W2142100108 @default.
- W2097747488 hasRelatedWork W2147374240 @default.
- W2097747488 hasRelatedWork W2232523289 @default.
- W2097747488 hasRelatedWork W2305271820 @default.
- W2097747488 hasRelatedWork W2548622894 @default.
- W2097747488 hasRelatedWork W2798485127 @default.
- W2097747488 hasRelatedWork W2907351305 @default.
- W2097747488 hasRelatedWork W2939807911 @default.
- W2097747488 hasRelatedWork W2950299681 @default.
- W2097747488 hasRelatedWork W2951572270 @default.
- W2097747488 hasRelatedWork W2140642011 @default.
- W2097747488 hasRelatedWork W2184404033 @default.
- W2097747488 isParatext "false" @default.
- W2097747488 isRetracted "false" @default.
- W2097747488 magId "2097747488" @default.
- W2097747488 workType "book-chapter" @default.