FRINK Linked Data Fragments server

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

• W2107399697 endingPage "226" @default.
• W2107399697 startingPage "215" @default.
• W2107399697 abstract "Behavioral software contracts supplement interface information with logical assertions. A rigorous enforcement of contracts provides useful feedback to developers if it signals contract violations as soon as they occur and if it assigns blame to violators with preciseexplanations. Correct blame assignment gets programmers started with the debugging process and can significantly decrease the time needed to discover and fix bugs. Sadly the literature on contracts lacks a framework for making statements about the correctness of blame assignment and for validating such statements. This paper fills the gap and uses the framework to demonstrate how one of the proposed semantics for higher-order contracts satisfies this criteria and another semantics occasionally assigns blame to the wrong module. Concretely, the paper applies the framework to the lax enforcement of dependent higher-order contracts and the picky one. A higher-order dependent contract specifies constraints for the domain and range of higher-order functions and also relates arguments and results in auxiliary assertions. The picky semantics ensures that the use of arguments in the auxiliary assertion satisfies the domain contracts and the lax one does not. While the picky semantics discovers more contract violations than the lax one, it occasionally blames the wrong module. Hence the paper also introduces a third semantics, dubbed indy , which fixes the problems of the picky semantics without giving up its advantages." @default.
• W2107399697 created "2016-06-24" @default.
• W2107399697 creator A5000905628 @default.
• W2107399697 creator A5018139743 @default.
• W2107399697 creator A5041562511 @default.
• W2107399697 creator A5081388086 @default.
• W2107399697 date "2011-01-26" @default.
• W2107399697 modified "2023-09-26" @default.
• W2107399697 title "Correct blame for contracts" @default.
• W2107399697 cites W1525290190 @default.
• W2107399697 cites W1526601993 @default.
• W2107399697 cites W1583826417 @default.
• W2107399697 cites W1959256509 @default.
• W2107399697 cites W1973186567 @default.
• W2107399697 cites W1994191642 @default.
• W2107399697 cites W1994326726 @default.
• W2107399697 cites W1998223027 @default.
• W2107399697 cites W2007270285 @default.
• W2107399697 cites W2015077407 @default.
• W2107399697 cites W2015937909 @default.
• W2107399697 cites W2027189949 @default.
• W2107399697 cites W2035168235 @default.
• W2107399697 cites W2059703978 @default.
• W2107399697 cites W2088735483 @default.
• W2107399697 cites W2089704981 @default.
• W2107399697 cites W2092351491 @default.
• W2107399697 cites W2094873755 @default.
• W2107399697 cites W2096368963 @default.
• W2107399697 cites W2100197079 @default.
• W2107399697 cites W2128303158 @default.
• W2107399697 cites W2139597778 @default.
• W2107399697 cites W2141210774 @default.
• W2107399697 cites W4211265583 @default.
• W2107399697 doi "https://doi.org/10.1145/1925844.1926410" @default.
• W2107399697 hasPublicationYear "2011" @default.
• W2107399697 type Work @default.
• W2107399697 sameAs 2107399697 @default.
• W2107399697 citedByCount "20" @default.
• W2107399697 countsByYear W21073996972012 @default.
• W2107399697 countsByYear W21073996972013 @default.
• W2107399697 countsByYear W21073996972014 @default.
• W2107399697 countsByYear W21073996972015 @default.
• W2107399697 countsByYear W21073996972016 @default.
• W2107399697 countsByYear W21073996972017 @default.
• W2107399697 countsByYear W21073996972018 @default.
• W2107399697 countsByYear W21073996972020 @default.
• W2107399697 countsByYear W21073996972021 @default.
• W2107399697 crossrefType "journal-article" @default.
• W2107399697 hasAuthorship W2107399697A5000905628 @default.
• W2107399697 hasAuthorship W2107399697A5018139743 @default.
• W2107399697 hasAuthorship W2107399697A5041562511 @default.
• W2107399697 hasAuthorship W2107399697A5081388086 @default.
• W2107399697 hasConcept C10138342 @default.
• W2107399697 hasConcept C115903868 @default.
• W2107399697 hasConcept C118552586 @default.
• W2107399697 hasConcept C134306372 @default.
• W2107399697 hasConcept C144133560 @default.
• W2107399697 hasConcept C15744967 @default.
• W2107399697 hasConcept C168065819 @default.
• W2107399697 hasConcept C17744445 @default.
• W2107399697 hasConcept C182306322 @default.
• W2107399697 hasConcept C184337299 @default.
• W2107399697 hasConcept C186846655 @default.
• W2107399697 hasConcept C199360897 @default.
• W2107399697 hasConcept C199539241 @default.
• W2107399697 hasConcept C2777904410 @default.
• W2107399697 hasConcept C2779777834 @default.
• W2107399697 hasConcept C2781466463 @default.
• W2107399697 hasConcept C33923547 @default.
• W2107399697 hasConcept C36503486 @default.
• W2107399697 hasConcept C40422974 @default.
• W2107399697 hasConcept C41008148 @default.
• W2107399697 hasConcept C529173508 @default.
• W2107399697 hasConcept C55439883 @default.
• W2107399697 hasConcept C80291951 @default.
• W2107399697 hasConceptScore W2107399697C10138342 @default.
• W2107399697 hasConceptScore W2107399697C115903868 @default.
• W2107399697 hasConceptScore W2107399697C118552586 @default.
• W2107399697 hasConceptScore W2107399697C134306372 @default.
• W2107399697 hasConceptScore W2107399697C144133560 @default.
• W2107399697 hasConceptScore W2107399697C15744967 @default.
• W2107399697 hasConceptScore W2107399697C168065819 @default.
• W2107399697 hasConceptScore W2107399697C17744445 @default.
• W2107399697 hasConceptScore W2107399697C182306322 @default.
• W2107399697 hasConceptScore W2107399697C184337299 @default.
• W2107399697 hasConceptScore W2107399697C186846655 @default.
• W2107399697 hasConceptScore W2107399697C199360897 @default.
• W2107399697 hasConceptScore W2107399697C199539241 @default.
• W2107399697 hasConceptScore W2107399697C2777904410 @default.
• W2107399697 hasConceptScore W2107399697C2779777834 @default.
• W2107399697 hasConceptScore W2107399697C2781466463 @default.
• W2107399697 hasConceptScore W2107399697C33923547 @default.
• W2107399697 hasConceptScore W2107399697C36503486 @default.
• W2107399697 hasConceptScore W2107399697C40422974 @default.
• W2107399697 hasConceptScore W2107399697C41008148 @default.
• W2107399697 hasConceptScore W2107399697C529173508 @default.
• W2107399697 hasConceptScore W2107399697C55439883 @default.
• W2107399697 hasConceptScore W2107399697C80291951 @default.

• next