Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Fail-stop> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Fail-stop abstract "A fail-stop subset of a computer language is one that has the same semantics as the original, except in the case where an exceptional condition arises. The fail-stop subset must report an exceptional condition whenever the superset language reports one, but may additionally report an exceptional condition in other cases.Fail-stop languages are often used in computer systems where correctness is very important, since it is easier to make such systems fail-fast. For example, the "+" operator in many programming languages is not associative because of the possibility of overflow. Repairing these languages to fail fast when commonly assumed properties do not hold, makes it much easier to write and verify correct code.".
- Fail-stop wikiPageID "24203217".
- Fail-stop wikiPageLength "1692".
- Fail-stop wikiPageOutDegree "13".
- Fail-stop wikiPageRevisionID "381307054".
- Fail-stop wikiPageWikiLink Arithmetic_overflow.
- Fail-stop wikiPageWikiLink Associative_property.
- Fail-stop wikiPageWikiLink Associativity.
- Fail-stop wikiPageWikiLink Bottom_type.
- Fail-stop wikiPageWikiLink Category:Security_engineering.
- Fail-stop wikiPageWikiLink Category:Software_engineering_terminology.
- Fail-stop wikiPageWikiLink Computer_language.
- Fail-stop wikiPageWikiLink Correctness_(computer_science).
- Fail-stop wikiPageWikiLink Exception_handling.
- Fail-stop wikiPageWikiLink Fail-fast.
- Fail-stop wikiPageWikiLink Fail-safe.
- Fail-stop wikiPageWikiLink Fault-tolerant.
- Fail-stop wikiPageWikiLink Fault_tolerance.
- Fail-stop wikiPageWikiLink Formal_semantics_of_programming_languages.
- Fail-stop wikiPageWikiLink Programming_language.
- Fail-stop wikiPageWikiLink Semantics_(computer_science).
- Fail-stop wikiPageWikiLinkText "Fail-stop".
- Fail-stop hasPhotoCollection Fail-stop.
- Fail-stop subject Category:Security_engineering.
- Fail-stop subject Category:Software_engineering_terminology.
- Fail-stop comment "A fail-stop subset of a computer language is one that has the same semantics as the original, except in the case where an exceptional condition arises. The fail-stop subset must report an exceptional condition whenever the superset language reports one, but may additionally report an exceptional condition in other cases.Fail-stop languages are often used in computer systems where correctness is very important, since it is easier to make such systems fail-fast.".
- Fail-stop label "Fail-stop".
- Fail-stop sameAs m.07kc1g5.
- Fail-stop sameAs Q5429662.
- Fail-stop sameAs Q5429662.
- Fail-stop wasDerivedFrom Fail-stop?oldid=381307054.
- Fail-stop isPrimaryTopicOf Fail-stop.