Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024995865> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2024995865 endingPage "299" @default.
- W2024995865 startingPage "275" @default.
- W2024995865 abstract "Ming-Hua Zhang (1988) has proposed a new specification method for data types based on second-order logic. Now we show that errors and exceptions are included directly in the specifications from the beginning. In our approach errors are not objects but indicate that some formulas are false. Unlike errors, exceptions are special objects. The error, error propagation, error recovery and exception can all be precisely defined and the fundamental results about them can be deduced from the specification by predicate calculus." @default.
- W2024995865 created "2016-06-24" @default.
- W2024995865 creator A5067439693 @default.
- W2024995865 date "1992-11-01" @default.
- W2024995865 modified "2023-09-26" @default.
- W2024995865 title "Data types with errors and exceptions" @default.
- W2024995865 cites W1501405214 @default.
- W2024995865 cites W1535477309 @default.
- W2024995865 cites W1538991291 @default.
- W2024995865 cites W1970554275 @default.
- W2024995865 cites W1983043931 @default.
- W2024995865 cites W2017125301 @default.
- W2024995865 cites W2053259597 @default.
- W2024995865 cites W2054164849 @default.
- W2024995865 cites W2061076675 @default.
- W2024995865 cites W2066995661 @default.
- W2024995865 cites W2070706877 @default.
- W2024995865 cites W2077848522 @default.
- W2024995865 doi "https://doi.org/10.1016/0304-3975(92)90303-w" @default.
- W2024995865 hasPublicationYear "1992" @default.
- W2024995865 type Work @default.
- W2024995865 sameAs 2024995865 @default.
- W2024995865 citedByCount "0" @default.
- W2024995865 crossrefType "journal-article" @default.
- W2024995865 hasAuthorship W2024995865A5067439693 @default.
- W2024995865 hasConcept C100481476 @default.
- W2024995865 hasConcept C103088060 @default.
- W2024995865 hasConcept C11413529 @default.
- W2024995865 hasConcept C140146324 @default.
- W2024995865 hasConcept C199343813 @default.
- W2024995865 hasConcept C199360897 @default.
- W2024995865 hasConcept C2777686260 @default.
- W2024995865 hasConcept C33923547 @default.
- W2024995865 hasConcept C41008148 @default.
- W2024995865 hasConcept C71924100 @default.
- W2024995865 hasConceptScore W2024995865C100481476 @default.
- W2024995865 hasConceptScore W2024995865C103088060 @default.
- W2024995865 hasConceptScore W2024995865C11413529 @default.
- W2024995865 hasConceptScore W2024995865C140146324 @default.
- W2024995865 hasConceptScore W2024995865C199343813 @default.
- W2024995865 hasConceptScore W2024995865C199360897 @default.
- W2024995865 hasConceptScore W2024995865C2777686260 @default.
- W2024995865 hasConceptScore W2024995865C33923547 @default.
- W2024995865 hasConceptScore W2024995865C41008148 @default.
- W2024995865 hasConceptScore W2024995865C71924100 @default.
- W2024995865 hasIssue "2" @default.
- W2024995865 hasLocation W20249958651 @default.
- W2024995865 hasOpenAccess W2024995865 @default.
- W2024995865 hasPrimaryLocation W20249958651 @default.
- W2024995865 hasRelatedWork W1583437941 @default.
- W2024995865 hasRelatedWork W2034962444 @default.
- W2024995865 hasRelatedWork W2062022502 @default.
- W2024995865 hasRelatedWork W2123186536 @default.
- W2024995865 hasRelatedWork W2166076597 @default.
- W2024995865 hasRelatedWork W3034005481 @default.
- W2024995865 hasRelatedWork W4248122318 @default.
- W2024995865 hasRelatedWork W4254499454 @default.
- W2024995865 hasRelatedWork W1693569016 @default.
- W2024995865 hasRelatedWork W2611182424 @default.
- W2024995865 hasVolume "105" @default.
- W2024995865 isParatext "false" @default.
- W2024995865 isRetracted "false" @default.
- W2024995865 magId "2024995865" @default.
- W2024995865 workType "article" @default.