Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913276547> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2913276547 endingPage "156" @default.
- W2913276547 startingPage "133" @default.
- W2913276547 abstract "This paper presents which enable to define transfinite semantics for programming languages easily. We call these theorems because they state the existence of a function satisfying certain conditions analogous to the usual corecurrent equations for defining stream-valued functions.Transfinite semantics have been proposed for overcoming the semantic anomaly of program slicing. In this paper, we define two example semantics which justify this approach, relying on our corecursion theorems." @default.
- W2913276547 created "2019-02-21" @default.
- W2913276547 creator A5008014255 @default.
- W2913276547 date "2005-04-01" @default.
- W2913276547 modified "2023-09-27" @default.
- W2913276547 title "Transfinite corecursion" @default.
- W2913276547 cites W1527392356 @default.
- W2913276547 cites W1571457417 @default.
- W2913276547 cites W1966571454 @default.
- W2913276547 cites W2006802414 @default.
- W2913276547 cites W2079743999 @default.
- W2913276547 cites W2084745607 @default.
- W2913276547 cites W2144973245 @default.
- W2913276547 cites W2293624369 @default.
- W2913276547 cites W2970349335 @default.
- W2913276547 hasPublicationYear "2005" @default.
- W2913276547 type Work @default.
- W2913276547 sameAs 2913276547 @default.
- W2913276547 citedByCount "2" @default.
- W2913276547 crossrefType "journal-article" @default.
- W2913276547 hasAuthorship W2913276547A5008014255 @default.
- W2913276547 hasConcept C118615104 @default.
- W2913276547 hasConcept C136119220 @default.
- W2913276547 hasConcept C147358099 @default.
- W2913276547 hasConcept C184337299 @default.
- W2913276547 hasConcept C199343813 @default.
- W2913276547 hasConcept C199360897 @default.
- W2913276547 hasConcept C202444582 @default.
- W2913276547 hasConcept C2777686260 @default.
- W2913276547 hasConcept C33923547 @default.
- W2913276547 hasConcept C41008148 @default.
- W2913276547 hasConcept C71924100 @default.
- W2913276547 hasConcept C80444323 @default.
- W2913276547 hasConceptScore W2913276547C118615104 @default.
- W2913276547 hasConceptScore W2913276547C136119220 @default.
- W2913276547 hasConceptScore W2913276547C147358099 @default.
- W2913276547 hasConceptScore W2913276547C184337299 @default.
- W2913276547 hasConceptScore W2913276547C199343813 @default.
- W2913276547 hasConceptScore W2913276547C199360897 @default.
- W2913276547 hasConceptScore W2913276547C202444582 @default.
- W2913276547 hasConceptScore W2913276547C2777686260 @default.
- W2913276547 hasConceptScore W2913276547C33923547 @default.
- W2913276547 hasConceptScore W2913276547C41008148 @default.
- W2913276547 hasConceptScore W2913276547C71924100 @default.
- W2913276547 hasConceptScore W2913276547C80444323 @default.
- W2913276547 hasIssue "2" @default.
- W2913276547 hasLocation W29132765471 @default.
- W2913276547 hasOpenAccess W2913276547 @default.
- W2913276547 hasPrimaryLocation W29132765471 @default.
- W2913276547 hasRelatedWork W1603304375 @default.
- W2913276547 hasRelatedWork W1840469622 @default.
- W2913276547 hasRelatedWork W1997489695 @default.
- W2913276547 hasRelatedWork W2023990019 @default.
- W2913276547 hasRelatedWork W2086979625 @default.
- W2913276547 hasRelatedWork W2092528182 @default.
- W2913276547 hasRelatedWork W2100933350 @default.
- W2913276547 hasRelatedWork W2156580025 @default.
- W2913276547 hasRelatedWork W2166449267 @default.
- W2913276547 hasRelatedWork W2264495851 @default.
- W2913276547 hasRelatedWork W253976088 @default.
- W2913276547 hasRelatedWork W2593738989 @default.
- W2913276547 hasRelatedWork W2754183943 @default.
- W2913276547 hasRelatedWork W2765640722 @default.
- W2913276547 hasRelatedWork W2911874855 @default.
- W2913276547 hasRelatedWork W2949905085 @default.
- W2913276547 hasRelatedWork W3031132030 @default.
- W2913276547 hasRelatedWork W3170987380 @default.
- W2913276547 hasRelatedWork W3199468696 @default.
- W2913276547 hasRelatedWork W2506656702 @default.
- W2913276547 hasVolume "12" @default.
- W2913276547 isParatext "false" @default.
- W2913276547 isRetracted "false" @default.
- W2913276547 magId "2913276547" @default.
- W2913276547 workType "article" @default.