Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077884383> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2077884383 endingPage "254" @default.
- W2077884383 startingPage "229" @default.
- W2077884383 abstract "The aim of this paper is to compare two approaches to the semantics of programming languages: the least fixed point approach, and the unique fixed point approach. Briefly speaking, we investigate here the problem of existence of extensions of algebras with the unique fixed point property to ordered algebras with the least fixed point property, that preserve the fixed point solutions. We prove that such extensions always exist, the construction of a free extension is given. It is also shown that in some cases there is no ‘faithful’ extension, i.e. some elements of a carrier are always collapsed." @default.
- W2077884383 created "2016-06-24" @default.
- W2077884383 creator A5023573472 @default.
- W2077884383 date "1980-11-01" @default.
- W2077884383 modified "2023-09-23" @default.
- W2077884383 title "Unique fixed points vs. least fixed points" @default.
- W2077884383 cites W2061786858 @default.
- W2077884383 cites W2107674601 @default.
- W2077884383 cites W4210249530 @default.
- W2077884383 doi "https://doi.org/10.1016/0304-3975(80)90056-0" @default.
- W2077884383 hasPublicationYear "1980" @default.
- W2077884383 type Work @default.
- W2077884383 sameAs 2077884383 @default.
- W2077884383 citedByCount "51" @default.
- W2077884383 countsByYear W20778843832012 @default.
- W2077884383 countsByYear W20778843832013 @default.
- W2077884383 countsByYear W20778843832014 @default.
- W2077884383 countsByYear W20778843832018 @default.
- W2077884383 countsByYear W20778843832019 @default.
- W2077884383 crossrefType "journal-article" @default.
- W2077884383 hasAuthorship W2077884383A5023573472 @default.
- W2077884383 hasConcept C105720234 @default.
- W2077884383 hasConcept C111472728 @default.
- W2077884383 hasConcept C118615104 @default.
- W2077884383 hasConcept C134306372 @default.
- W2077884383 hasConcept C138885662 @default.
- W2077884383 hasConcept C146147875 @default.
- W2077884383 hasConcept C157449380 @default.
- W2077884383 hasConcept C189950617 @default.
- W2077884383 hasConcept C199360897 @default.
- W2077884383 hasConcept C27333817 @default.
- W2077884383 hasConcept C2778029271 @default.
- W2077884383 hasConcept C28642324 @default.
- W2077884383 hasConcept C33923547 @default.
- W2077884383 hasConcept C41008148 @default.
- W2077884383 hasConcept C45962547 @default.
- W2077884383 hasConcept C61445026 @default.
- W2077884383 hasConceptScore W2077884383C105720234 @default.
- W2077884383 hasConceptScore W2077884383C111472728 @default.
- W2077884383 hasConceptScore W2077884383C118615104 @default.
- W2077884383 hasConceptScore W2077884383C134306372 @default.
- W2077884383 hasConceptScore W2077884383C138885662 @default.
- W2077884383 hasConceptScore W2077884383C146147875 @default.
- W2077884383 hasConceptScore W2077884383C157449380 @default.
- W2077884383 hasConceptScore W2077884383C189950617 @default.
- W2077884383 hasConceptScore W2077884383C199360897 @default.
- W2077884383 hasConceptScore W2077884383C27333817 @default.
- W2077884383 hasConceptScore W2077884383C2778029271 @default.
- W2077884383 hasConceptScore W2077884383C28642324 @default.
- W2077884383 hasConceptScore W2077884383C33923547 @default.
- W2077884383 hasConceptScore W2077884383C41008148 @default.
- W2077884383 hasConceptScore W2077884383C45962547 @default.
- W2077884383 hasConceptScore W2077884383C61445026 @default.
- W2077884383 hasIssue "3" @default.
- W2077884383 hasLocation W20778843831 @default.
- W2077884383 hasOpenAccess W2077884383 @default.
- W2077884383 hasPrimaryLocation W20778843831 @default.
- W2077884383 hasRelatedWork W1500127036 @default.
- W2077884383 hasRelatedWork W185334373 @default.
- W2077884383 hasRelatedWork W2061149801 @default.
- W2077884383 hasRelatedWork W2072568712 @default.
- W2077884383 hasRelatedWork W2077884383 @default.
- W2077884383 hasRelatedWork W2184240904 @default.
- W2077884383 hasRelatedWork W2320382799 @default.
- W2077884383 hasRelatedWork W2964538075 @default.
- W2077884383 hasRelatedWork W2978194344 @default.
- W2077884383 hasRelatedWork W2298973244 @default.
- W2077884383 hasVolume "12" @default.
- W2077884383 isParatext "false" @default.
- W2077884383 isRetracted "false" @default.
- W2077884383 magId "2077884383" @default.
- W2077884383 workType "article" @default.