FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2295080152> ?p ?o ?g. }

• W2295080152 abstract "Many languages support behavioral software contracts so that programmers can describe a component's obligations and promises via logical assertions in its interface. The contract system monitors program execution, checks whether the assertions hold, and, if not, blames the guilty component. Pinning down the violator gets the debugging process started in the right direction. Quality contracts impose a serious run-time cost, however, and programmers therefore compromise in many ways. Some turn off contracts for deployment, but then contracts and code quickly get out of sync during maintenance. Others test contracts randomly or probabilistically. In all cases, programmers have to cope with lack of blame information when the program eventually fails." @default.
• W2295080152 created "2016-06-24" @default.
• W2295080152 creator A5000905628 @default.
• W2295080152 creator A5041562511 @default.
• W2295080152 creator A5081388086 @default.
• W2295080152 date "2013-10-29" @default.
• W2295080152 modified "2023-10-17" @default.
• W2295080152 title "Option contracts" @default.
• W2295080152 cites W1583826417 @default.
• W2295080152 cites W1959256509 @default.
• W2295080152 cites W1973186567 @default.
• W2295080152 cites W1993836075 @default.
• W2295080152 cites W1998223027 @default.
• W2295080152 cites W2007270285 @default.
• W2295080152 cites W2015937909 @default.
• W2295080152 cites W2027189949 @default.
• W2295080152 cites W2052363833 @default.
• W2295080152 cites W2052973434 @default.
• W2295080152 cites W2059703978 @default.
• W2295080152 cites W2096368963 @default.
• W2295080152 cites W2128303158 @default.
• W2295080152 cites W2139597778 @default.
• W2295080152 cites W2153036969 @default.
• W2295080152 cites W2169309022 @default.
• W2295080152 cites W2169661165 @default.
• W2295080152 cites W2218092420 @default.
• W2295080152 cites W3023302315 @default.
• W2295080152 cites W4247948196 @default.
• W2295080152 doi "https://doi.org/10.1145/2509136.2509548" @default.
• W2295080152 hasPublicationYear "2013" @default.
• W2295080152 type Work @default.
• W2295080152 sameAs 2295080152 @default.
• W2295080152 citedByCount "12" @default.
• W2295080152 countsByYear W22950801522014 @default.
• W2295080152 countsByYear W22950801522015 @default.
• W2295080152 countsByYear W22950801522016 @default.
• W2295080152 countsByYear W22950801522018 @default.
• W2295080152 countsByYear W22950801522019 @default.
• W2295080152 countsByYear W22950801522020 @default.
• W2295080152 crossrefType "proceedings-article" @default.
• W2295080152 hasAuthorship W2295080152A5000905628 @default.
• W2295080152 hasAuthorship W2295080152A5041562511 @default.
• W2295080152 hasAuthorship W2295080152A5081388086 @default.
• W2295080152 hasConcept C105339364 @default.
• W2295080152 hasConcept C111472728 @default.
• W2295080152 hasConcept C111919701 @default.
• W2295080152 hasConcept C113843644 @default.
• W2295080152 hasConcept C115903868 @default.
• W2295080152 hasConcept C118552586 @default.
• W2295080152 hasConcept C121332964 @default.
• W2295080152 hasConcept C127162648 @default.
• W2295080152 hasConcept C129307140 @default.
• W2295080152 hasConcept C138885662 @default.
• W2295080152 hasConcept C144024400 @default.
• W2295080152 hasConcept C15744967 @default.
• W2295080152 hasConcept C157915830 @default.
• W2295080152 hasConcept C168065819 @default.
• W2295080152 hasConcept C168167062 @default.
• W2295080152 hasConcept C186846655 @default.
• W2295080152 hasConcept C199360897 @default.
• W2295080152 hasConcept C2777904410 @default.
• W2295080152 hasConcept C2779530757 @default.
• W2295080152 hasConcept C2781466463 @default.
• W2295080152 hasConcept C31258907 @default.
• W2295080152 hasConcept C36289849 @default.
• W2295080152 hasConcept C38652104 @default.
• W2295080152 hasConcept C3913047 @default.
• W2295080152 hasConcept C41008148 @default.
• W2295080152 hasConcept C46355384 @default.
• W2295080152 hasConcept C529173508 @default.
• W2295080152 hasConcept C80291951 @default.
• W2295080152 hasConcept C97355855 @default.
• W2295080152 hasConcept C98045186 @default.
• W2295080152 hasConceptScore W2295080152C105339364 @default.
• W2295080152 hasConceptScore W2295080152C111472728 @default.
• W2295080152 hasConceptScore W2295080152C111919701 @default.
• W2295080152 hasConceptScore W2295080152C113843644 @default.
• W2295080152 hasConceptScore W2295080152C115903868 @default.
• W2295080152 hasConceptScore W2295080152C118552586 @default.
• W2295080152 hasConceptScore W2295080152C121332964 @default.
• W2295080152 hasConceptScore W2295080152C127162648 @default.
• W2295080152 hasConceptScore W2295080152C129307140 @default.
• W2295080152 hasConceptScore W2295080152C138885662 @default.
• W2295080152 hasConceptScore W2295080152C144024400 @default.
• W2295080152 hasConceptScore W2295080152C15744967 @default.
• W2295080152 hasConceptScore W2295080152C157915830 @default.
• W2295080152 hasConceptScore W2295080152C168065819 @default.
• W2295080152 hasConceptScore W2295080152C168167062 @default.
• W2295080152 hasConceptScore W2295080152C186846655 @default.
• W2295080152 hasConceptScore W2295080152C199360897 @default.
• W2295080152 hasConceptScore W2295080152C2777904410 @default.
• W2295080152 hasConceptScore W2295080152C2779530757 @default.
• W2295080152 hasConceptScore W2295080152C2781466463 @default.
• W2295080152 hasConceptScore W2295080152C31258907 @default.
• W2295080152 hasConceptScore W2295080152C36289849 @default.
• W2295080152 hasConceptScore W2295080152C38652104 @default.
• W2295080152 hasConceptScore W2295080152C3913047 @default.
• W2295080152 hasConceptScore W2295080152C41008148 @default.
• W2295080152 hasConceptScore W2295080152C46355384 @default.
• W2295080152 hasConceptScore W2295080152C529173508 @default.

• next