Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016309906> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2016309906 endingPage "2038" @default.
- W2016309906 startingPage "2036" @default.
- W2016309906 abstract "To deal with failures as simply as possible, we propose a new foundation for the core (untyped) C++, which is based on a new logic called task logic or imperative logic. We then introduce a sequential-disjunctive statement of the form S : R. This statement has the following semantics: execute S and R sequentially. It is considered a success if at least one of S, R is a success. This statement is useful for dealing with inessential errors without explicitly catching them." @default.
- W2016309906 created "2016-06-24" @default.
- W2016309906 creator A5007182198 @default.
- W2016309906 creator A5044410309 @default.
- W2016309906 creator A5058917879 @default.
- W2016309906 date "2013-01-01" @default.
- W2016309906 modified "2023-10-14" @default.
- W2016309906 title "Improving Robustness via Disjunctive Statements in Imperative Programming" @default.
- W2016309906 cites W1559814607 @default.
- W2016309906 cites W1964882086 @default.
- W2016309906 cites W2015274054 @default.
- W2016309906 cites W2093111544 @default.
- W2016309906 cites W2101198558 @default.
- W2016309906 doi "https://doi.org/10.1587/transinf.e96.d.2036" @default.
- W2016309906 hasPublicationYear "2013" @default.
- W2016309906 type Work @default.
- W2016309906 sameAs 2016309906 @default.
- W2016309906 citedByCount "4" @default.
- W2016309906 countsByYear W20163099062013 @default.
- W2016309906 countsByYear W20163099062016 @default.
- W2016309906 crossrefType "journal-article" @default.
- W2016309906 hasAuthorship W2016309906A5007182198 @default.
- W2016309906 hasAuthorship W2016309906A5044410309 @default.
- W2016309906 hasAuthorship W2016309906A5058917879 @default.
- W2016309906 hasBestOaLocation W20163099061 @default.
- W2016309906 hasConcept C104317684 @default.
- W2016309906 hasConcept C127001435 @default.
- W2016309906 hasConcept C128838566 @default.
- W2016309906 hasConcept C154945302 @default.
- W2016309906 hasConcept C156325763 @default.
- W2016309906 hasConcept C162324750 @default.
- W2016309906 hasConcept C17744445 @default.
- W2016309906 hasConcept C184337299 @default.
- W2016309906 hasConcept C185592680 @default.
- W2016309906 hasConcept C187736073 @default.
- W2016309906 hasConcept C199360897 @default.
- W2016309906 hasConcept C199539241 @default.
- W2016309906 hasConcept C2777026412 @default.
- W2016309906 hasConcept C2780451532 @default.
- W2016309906 hasConcept C2987117450 @default.
- W2016309906 hasConcept C41008148 @default.
- W2016309906 hasConcept C55493867 @default.
- W2016309906 hasConcept C63479239 @default.
- W2016309906 hasConcept C80444323 @default.
- W2016309906 hasConceptScore W2016309906C104317684 @default.
- W2016309906 hasConceptScore W2016309906C127001435 @default.
- W2016309906 hasConceptScore W2016309906C128838566 @default.
- W2016309906 hasConceptScore W2016309906C154945302 @default.
- W2016309906 hasConceptScore W2016309906C156325763 @default.
- W2016309906 hasConceptScore W2016309906C162324750 @default.
- W2016309906 hasConceptScore W2016309906C17744445 @default.
- W2016309906 hasConceptScore W2016309906C184337299 @default.
- W2016309906 hasConceptScore W2016309906C185592680 @default.
- W2016309906 hasConceptScore W2016309906C187736073 @default.
- W2016309906 hasConceptScore W2016309906C199360897 @default.
- W2016309906 hasConceptScore W2016309906C199539241 @default.
- W2016309906 hasConceptScore W2016309906C2777026412 @default.
- W2016309906 hasConceptScore W2016309906C2780451532 @default.
- W2016309906 hasConceptScore W2016309906C2987117450 @default.
- W2016309906 hasConceptScore W2016309906C41008148 @default.
- W2016309906 hasConceptScore W2016309906C55493867 @default.
- W2016309906 hasConceptScore W2016309906C63479239 @default.
- W2016309906 hasConceptScore W2016309906C80444323 @default.
- W2016309906 hasIssue "9" @default.
- W2016309906 hasLocation W20163099061 @default.
- W2016309906 hasLocation W20163099062 @default.
- W2016309906 hasLocation W20163099063 @default.
- W2016309906 hasOpenAccess W2016309906 @default.
- W2016309906 hasPrimaryLocation W20163099061 @default.
- W2016309906 hasRelatedWork W1495291840 @default.
- W2016309906 hasRelatedWork W1517451538 @default.
- W2016309906 hasRelatedWork W1532306186 @default.
- W2016309906 hasRelatedWork W1601169590 @default.
- W2016309906 hasRelatedWork W1602014241 @default.
- W2016309906 hasRelatedWork W2086560466 @default.
- W2016309906 hasRelatedWork W2400374265 @default.
- W2016309906 hasRelatedWork W2542099395 @default.
- W2016309906 hasRelatedWork W196701684 @default.
- W2016309906 hasRelatedWork W2504286793 @default.
- W2016309906 hasVolume "E96.D" @default.
- W2016309906 isParatext "false" @default.
- W2016309906 isRetracted "false" @default.
- W2016309906 magId "2016309906" @default.
- W2016309906 workType "article" @default.