Matches in SemOpenAlex for { <https://semopenalex.org/work/W2036748811> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2036748811 endingPage "150" @default.
- W2036748811 startingPage "127" @default.
- W2036748811 abstract "It has been proposed by Meyer, Kfouri and others to extend the so-called Nonstandard Logics of Programs approach (NLP henceforth) to recursive programs and denotational semantics in some natural way. The key step in doing NLP is selecting a semantics for programs (which, in the present paper, is denotational semantics) and then forming its KPU-absolute version. Absoluteness is a set theoretic property of logics. If a logic L is not absolute, then some formulas of L do not speak about the models of L , but about something else. If a logic has this strange property, then it is impossible to find a complete inference system for it, and this because of purely “administrative” reasons, which might not correspond to any of the inherent properties of the original situation we are modeling (in devising this logic etc.). This “administrative” incompleteness is only one of the undesirable side effects of nonabsoluteness. In NLP, the purpose of constructing and studying absolute versions of logics is aimed at, among other things, the removal of these undesirable properties. The absolute version of denotational semantics will turn out to be based on 2-sorted first order logic, or more concretely, on the usual nonstandard or weak second order logic. Some of the most relevant features of this logic are the ability to compare “realistic” existing program verification methods, create new, more powerful and still “realistic” ones, completeness etc., to mention only a very few." @default.
- W2036748811 created "2016-06-24" @default.
- W2036748811 creator A5084251713 @default.
- W2036748811 date "1990-01-01" @default.
- W2036748811 modified "2023-09-25" @default.
- W2036748811 title "Recursive programs and denotational semantics in absolute logics of programs" @default.
- W2036748811 cites W1969857501 @default.
- W2036748811 cites W1978809776 @default.
- W2036748811 cites W1991123457 @default.
- W2036748811 cites W2001982768 @default.
- W2036748811 cites W2006220572 @default.
- W2036748811 cites W2007270285 @default.
- W2036748811 cites W2007789697 @default.
- W2036748811 cites W2010249294 @default.
- W2036748811 cites W2015731361 @default.
- W2036748811 cites W2017187886 @default.
- W2036748811 cites W2047004999 @default.
- W2036748811 cites W2049714341 @default.
- W2036748811 cites W2063809508 @default.
- W2036748811 cites W2087126378 @default.
- W2036748811 cites W2092179174 @default.
- W2036748811 cites W2094484747 @default.
- W2036748811 cites W2160331299 @default.
- W2036748811 cites W4256371891 @default.
- W2036748811 doi "https://doi.org/10.1016/0304-3975(90)90156-c" @default.
- W2036748811 hasPublicationYear "1990" @default.
- W2036748811 type Work @default.
- W2036748811 sameAs 2036748811 @default.
- W2036748811 citedByCount "4" @default.
- W2036748811 countsByYear W20367488112014 @default.
- W2036748811 countsByYear W20367488112017 @default.
- W2036748811 crossrefType "journal-article" @default.
- W2036748811 hasAuthorship W2036748811A5084251713 @default.
- W2036748811 hasConcept C102993220 @default.
- W2036748811 hasConcept C111472728 @default.
- W2036748811 hasConcept C11413529 @default.
- W2036748811 hasConcept C118615104 @default.
- W2036748811 hasConcept C134306372 @default.
- W2036748811 hasConcept C138885662 @default.
- W2036748811 hasConcept C156325763 @default.
- W2036748811 hasConcept C169896238 @default.
- W2036748811 hasConcept C17231256 @default.
- W2036748811 hasConcept C177264268 @default.
- W2036748811 hasConcept C184337299 @default.
- W2036748811 hasConcept C189950617 @default.
- W2036748811 hasConcept C199360897 @default.
- W2036748811 hasConcept C207648694 @default.
- W2036748811 hasConcept C29585364 @default.
- W2036748811 hasConcept C32241873 @default.
- W2036748811 hasConcept C33923547 @default.
- W2036748811 hasConcept C41008148 @default.
- W2036748811 hasConcept C80444323 @default.
- W2036748811 hasConcept C87365073 @default.
- W2036748811 hasConcept C89448276 @default.
- W2036748811 hasConcept C89497691 @default.
- W2036748811 hasConceptScore W2036748811C102993220 @default.
- W2036748811 hasConceptScore W2036748811C111472728 @default.
- W2036748811 hasConceptScore W2036748811C11413529 @default.
- W2036748811 hasConceptScore W2036748811C118615104 @default.
- W2036748811 hasConceptScore W2036748811C134306372 @default.
- W2036748811 hasConceptScore W2036748811C138885662 @default.
- W2036748811 hasConceptScore W2036748811C156325763 @default.
- W2036748811 hasConceptScore W2036748811C169896238 @default.
- W2036748811 hasConceptScore W2036748811C17231256 @default.
- W2036748811 hasConceptScore W2036748811C177264268 @default.
- W2036748811 hasConceptScore W2036748811C184337299 @default.
- W2036748811 hasConceptScore W2036748811C189950617 @default.
- W2036748811 hasConceptScore W2036748811C199360897 @default.
- W2036748811 hasConceptScore W2036748811C207648694 @default.
- W2036748811 hasConceptScore W2036748811C29585364 @default.
- W2036748811 hasConceptScore W2036748811C32241873 @default.
- W2036748811 hasConceptScore W2036748811C33923547 @default.
- W2036748811 hasConceptScore W2036748811C41008148 @default.
- W2036748811 hasConceptScore W2036748811C80444323 @default.
- W2036748811 hasConceptScore W2036748811C87365073 @default.
- W2036748811 hasConceptScore W2036748811C89448276 @default.
- W2036748811 hasConceptScore W2036748811C89497691 @default.
- W2036748811 hasIssue "1" @default.
- W2036748811 hasLocation W20367488111 @default.
- W2036748811 hasOpenAccess W2036748811 @default.
- W2036748811 hasPrimaryLocation W20367488111 @default.
- W2036748811 hasRelatedWork W1551132038 @default.
- W2036748811 hasRelatedWork W1969894701 @default.
- W2036748811 hasRelatedWork W1985058553 @default.
- W2036748811 hasRelatedWork W2036748811 @default.
- W2036748811 hasRelatedWork W2047273923 @default.
- W2036748811 hasRelatedWork W2055530613 @default.
- W2036748811 hasRelatedWork W288920086 @default.
- W2036748811 hasRelatedWork W3163637575 @default.
- W2036748811 hasRelatedWork W3197740044 @default.
- W2036748811 hasRelatedWork W4230977899 @default.
- W2036748811 hasVolume "70" @default.
- W2036748811 isParatext "false" @default.
- W2036748811 isRetracted "false" @default.
- W2036748811 magId "2036748811" @default.
- W2036748811 workType "article" @default.