Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100235086> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2100235086 endingPage "433" @default.
- W2100235086 startingPage "415" @default.
- W2100235086 abstract "The purpose of this article is to clarify the role that many-valued logic can or should play in formal specification of software systems for modeling partiality. We analyse a representative set of specification languages. Our findings suggest that many-valued logic is less useful for modeling those aspects of partiality, for which it is traditionally intended: modeling non-termination and error values. On the other hand, many-valued logic is emerging as a mainstream tool in abstraction of formal analyses of various kinds, and we suggest that specification languages feature many-valued abstraction logics. © 2005 Oxford University Press." @default.
- W2100235086 created "2016-06-24" @default.
- W2100235086 creator A5084143460 @default.
- W2100235086 date "2005-07-01" @default.
- W2100235086 modified "2023-09-30" @default.
- W2100235086 title "Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages" @default.
- W2100235086 cites W1036629475 @default.
- W2100235086 cites W113629928 @default.
- W2100235086 cites W1487409515 @default.
- W2100235086 cites W1516079304 @default.
- W2100235086 cites W1545668736 @default.
- W2100235086 cites W1555593767 @default.
- W2100235086 cites W1556184062 @default.
- W2100235086 cites W1559870885 @default.
- W2100235086 cites W1573154295 @default.
- W2100235086 cites W1583095677 @default.
- W2100235086 cites W1592359484 @default.
- W2100235086 cites W1602650507 @default.
- W2100235086 cites W1604272107 @default.
- W2100235086 cites W1606715768 @default.
- W2100235086 cites W1759032052 @default.
- W2100235086 cites W1964830323 @default.
- W2100235086 cites W1984399960 @default.
- W2100235086 cites W1991837261 @default.
- W2100235086 cites W2043100293 @default.
- W2100235086 cites W2089387242 @default.
- W2100235086 cites W2090106217 @default.
- W2100235086 cites W2091949134 @default.
- W2100235086 cites W2094160561 @default.
- W2100235086 cites W2107778618 @default.
- W2100235086 cites W2108011707 @default.
- W2100235086 cites W2124324342 @default.
- W2100235086 cites W2144973245 @default.
- W2100235086 cites W2157560459 @default.
- W2100235086 cites W2168690391 @default.
- W2100235086 cites W2913459036 @default.
- W2100235086 cites W3000555422 @default.
- W2100235086 cites W3199565109 @default.
- W2100235086 cites W612975481 @default.
- W2100235086 cites W3048761665 @default.
- W2100235086 doi "https://doi.org/10.1093/jigpal/jzi032" @default.
- W2100235086 hasPublicationYear "2005" @default.
- W2100235086 type Work @default.
- W2100235086 sameAs 2100235086 @default.
- W2100235086 citedByCount "33" @default.
- W2100235086 countsByYear W21002350862012 @default.
- W2100235086 countsByYear W21002350862013 @default.
- W2100235086 countsByYear W21002350862014 @default.
- W2100235086 countsByYear W21002350862015 @default.
- W2100235086 countsByYear W21002350862017 @default.
- W2100235086 countsByYear W21002350862018 @default.
- W2100235086 countsByYear W21002350862019 @default.
- W2100235086 countsByYear W21002350862022 @default.
- W2100235086 crossrefType "journal-article" @default.
- W2100235086 hasAuthorship W2100235086A5084143460 @default.
- W2100235086 hasConcept C111472728 @default.
- W2100235086 hasConcept C124304363 @default.
- W2100235086 hasConcept C138885662 @default.
- W2100235086 hasConcept C199360897 @default.
- W2100235086 hasConcept C41008148 @default.
- W2100235086 hasConceptScore W2100235086C111472728 @default.
- W2100235086 hasConceptScore W2100235086C124304363 @default.
- W2100235086 hasConceptScore W2100235086C138885662 @default.
- W2100235086 hasConceptScore W2100235086C199360897 @default.
- W2100235086 hasConceptScore W2100235086C41008148 @default.
- W2100235086 hasIssue "4" @default.
- W2100235086 hasLocation W21002350861 @default.
- W2100235086 hasOpenAccess W2100235086 @default.
- W2100235086 hasPrimaryLocation W21002350861 @default.
- W2100235086 hasRelatedWork W137976737 @default.
- W2100235086 hasRelatedWork W1504651774 @default.
- W2100235086 hasRelatedWork W1565263828 @default.
- W2100235086 hasRelatedWork W1999473061 @default.
- W2100235086 hasRelatedWork W2052803392 @default.
- W2100235086 hasRelatedWork W2068700777 @default.
- W2100235086 hasRelatedWork W2135396778 @default.
- W2100235086 hasRelatedWork W3160136729 @default.
- W2100235086 hasRelatedWork W4243252198 @default.
- W2100235086 hasRelatedWork W2611182424 @default.
- W2100235086 hasVolume "13" @default.
- W2100235086 isParatext "false" @default.
- W2100235086 isRetracted "false" @default.
- W2100235086 magId "2100235086" @default.
- W2100235086 workType "article" @default.