Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988408086> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1988408086 abstract "In this article we explain two different operational interpretations of functional programs by two different logics. The programs are simply typed λ-terms with pairs, projections, if-then-else and least fixed point recursion. A logic for call-by-value evaluation and a logic for call-by-name evaluation are obtained as as extensions of a system which we call the basic logic of partial terms (BPT). This logic is suitable to prove properties of programs that are valid under both strict and non-strict evaluation. We use methods from denotational semantics to show that the two extensions of BPT are adequate for call-by-value and call-by-name evaluation. Neither the programs nor the logics contain the constant ‘undefined’." @default.
- W1988408086 created "2016-06-24" @default.
- W1988408086 creator A5043480289 @default.
- W1988408086 date "1998-03-01" @default.
- W1988408086 modified "2023-09-24" @default.
- W1988408086 title "Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages" @default.
- W1988408086 cites W126568045 @default.
- W1988408086 cites W1499154644 @default.
- W1988408086 cites W1501212217 @default.
- W1988408086 cites W1511668635 @default.
- W1988408086 cites W1521991699 @default.
- W1988408086 cites W1526907582 @default.
- W1988408086 cites W1579433101 @default.
- W1988408086 cites W1593666219 @default.
- W1988408086 cites W1628460930 @default.
- W1988408086 cites W1741698332 @default.
- W1988408086 cites W1763978647 @default.
- W1988408086 cites W1829244603 @default.
- W1988408086 cites W2030221869 @default.
- W1988408086 cites W2050613794 @default.
- W1988408086 cites W2062950667 @default.
- W1988408086 cites W2079337360 @default.
- W1988408086 cites W2088735483 @default.
- W1988408086 cites W2090587238 @default.
- W1988408086 cites W2092774615 @default.
- W1988408086 cites W981129589 @default.
- W1988408086 cites W157715961 @default.
- W1988408086 doi "https://doi.org/10.1017/s0956796898002974" @default.
- W1988408086 hasPublicationYear "1998" @default.
- W1988408086 type Work @default.
- W1988408086 sameAs 1988408086 @default.
- W1988408086 citedByCount "11" @default.
- W1988408086 countsByYear W19884080862014 @default.
- W1988408086 crossrefType "journal-article" @default.
- W1988408086 hasAuthorship W1988408086A5043480289 @default.
- W1988408086 hasConcept C118615104 @default.
- W1988408086 hasConcept C128838566 @default.
- W1988408086 hasConcept C136119220 @default.
- W1988408086 hasConcept C156325763 @default.
- W1988408086 hasConcept C168773036 @default.
- W1988408086 hasConcept C184337299 @default.
- W1988408086 hasConcept C199360897 @default.
- W1988408086 hasConcept C202444582 @default.
- W1988408086 hasConcept C207648694 @default.
- W1988408086 hasConcept C2777027219 @default.
- W1988408086 hasConcept C33923547 @default.
- W1988408086 hasConcept C41008148 @default.
- W1988408086 hasConcept C42383842 @default.
- W1988408086 hasConcept C80444323 @default.
- W1988408086 hasConceptScore W1988408086C118615104 @default.
- W1988408086 hasConceptScore W1988408086C128838566 @default.
- W1988408086 hasConceptScore W1988408086C136119220 @default.
- W1988408086 hasConceptScore W1988408086C156325763 @default.
- W1988408086 hasConceptScore W1988408086C168773036 @default.
- W1988408086 hasConceptScore W1988408086C184337299 @default.
- W1988408086 hasConceptScore W1988408086C199360897 @default.
- W1988408086 hasConceptScore W1988408086C202444582 @default.
- W1988408086 hasConceptScore W1988408086C207648694 @default.
- W1988408086 hasConceptScore W1988408086C2777027219 @default.
- W1988408086 hasConceptScore W1988408086C33923547 @default.
- W1988408086 hasConceptScore W1988408086C41008148 @default.
- W1988408086 hasConceptScore W1988408086C42383842 @default.
- W1988408086 hasConceptScore W1988408086C80444323 @default.
- W1988408086 hasLocation W19884080861 @default.
- W1988408086 hasOpenAccess W1988408086 @default.
- W1988408086 hasPrimaryLocation W19884080861 @default.
- W1988408086 hasRelatedWork W105943185 @default.
- W1988408086 hasRelatedWork W126568045 @default.
- W1988408086 hasRelatedWork W1498926208 @default.
- W1988408086 hasRelatedWork W1515444786 @default.
- W1988408086 hasRelatedWork W1518280455 @default.
- W1988408086 hasRelatedWork W1518290936 @default.
- W1988408086 hasRelatedWork W1518644265 @default.
- W1988408086 hasRelatedWork W1763978647 @default.
- W1988408086 hasRelatedWork W1979928188 @default.
- W1988408086 hasRelatedWork W1994737295 @default.
- W1988408086 hasRelatedWork W2077870744 @default.
- W1988408086 hasRelatedWork W2123740011 @default.
- W1988408086 hasRelatedWork W2137355506 @default.
- W1988408086 hasRelatedWork W2160728467 @default.
- W1988408086 hasRelatedWork W2264119669 @default.
- W1988408086 hasRelatedWork W2660255895 @default.
- W1988408086 hasRelatedWork W2798718690 @default.
- W1988408086 hasRelatedWork W3039529476 @default.
- W1988408086 hasRelatedWork W96255555 @default.
- W1988408086 hasRelatedWork W3109053166 @default.
- W1988408086 isParatext "false" @default.
- W1988408086 isRetracted "false" @default.
- W1988408086 magId "1988408086" @default.
- W1988408086 workType "article" @default.