Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068605729> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2068605729 abstract "Contracts are a simple yet very powerful form of specification. They consists of method preconditions and post-conditions, of object invariants, and of assertions and loop invariants. Ideally, the programmer will annotate all of her code with contracts which are mechanically checked by some static analysis tool. In practice, programmers only write few contracts, mainly preconditions and some object invariants. The reason for that is that other contracts are clear from the code: Programmers do not like to repeat themselves. As a consequence, any usable static verification tool should provide some form of contract inference." @default.
- W2068605729 created "2016-06-24" @default.
- W2068605729 creator A5058389738 @default.
- W2068605729 date "2013-11-10" @default.
- W2068605729 modified "2023-09-26" @default.
- W2068605729 title "Technology for inferring contracts from code" @default.
- W2068605729 cites W146475325 @default.
- W2068605729 cites W1525502778 @default.
- W2068605729 cites W1967714136 @default.
- W2068605729 cites W2043100293 @default.
- W2068605729 cites W2114925430 @default.
- W2068605729 cites W2133832333 @default.
- W2068605729 cites W4230509083 @default.
- W2068605729 doi "https://doi.org/10.1145/2527269.2527280" @default.
- W2068605729 hasPublicationYear "2013" @default.
- W2068605729 type Work @default.
- W2068605729 sameAs 2068605729 @default.
- W2068605729 citedByCount "1" @default.
- W2068605729 countsByYear W20686057292014 @default.
- W2068605729 crossrefType "proceedings-article" @default.
- W2068605729 hasAuthorship W2068605729A5058389738 @default.
- W2068605729 hasConcept C111472728 @default.
- W2068605729 hasConcept C115903868 @default.
- W2068605729 hasConcept C136764020 @default.
- W2068605729 hasConcept C138885662 @default.
- W2068605729 hasConcept C154945302 @default.
- W2068605729 hasConcept C177264268 @default.
- W2068605729 hasConcept C186846655 @default.
- W2068605729 hasConcept C199360897 @default.
- W2068605729 hasConcept C2776214188 @default.
- W2068605729 hasConcept C2776760102 @default.
- W2068605729 hasConcept C2777904410 @default.
- W2068605729 hasConcept C2778514511 @default.
- W2068605729 hasConcept C2780586882 @default.
- W2068605729 hasConcept C2780615836 @default.
- W2068605729 hasConcept C2781238097 @default.
- W2068605729 hasConcept C41008148 @default.
- W2068605729 hasConcept C529173508 @default.
- W2068605729 hasConcept C80291951 @default.
- W2068605729 hasConcept C80444323 @default.
- W2068605729 hasConcept C97686452 @default.
- W2068605729 hasConceptScore W2068605729C111472728 @default.
- W2068605729 hasConceptScore W2068605729C115903868 @default.
- W2068605729 hasConceptScore W2068605729C136764020 @default.
- W2068605729 hasConceptScore W2068605729C138885662 @default.
- W2068605729 hasConceptScore W2068605729C154945302 @default.
- W2068605729 hasConceptScore W2068605729C177264268 @default.
- W2068605729 hasConceptScore W2068605729C186846655 @default.
- W2068605729 hasConceptScore W2068605729C199360897 @default.
- W2068605729 hasConceptScore W2068605729C2776214188 @default.
- W2068605729 hasConceptScore W2068605729C2776760102 @default.
- W2068605729 hasConceptScore W2068605729C2777904410 @default.
- W2068605729 hasConceptScore W2068605729C2778514511 @default.
- W2068605729 hasConceptScore W2068605729C2780586882 @default.
- W2068605729 hasConceptScore W2068605729C2780615836 @default.
- W2068605729 hasConceptScore W2068605729C2781238097 @default.
- W2068605729 hasConceptScore W2068605729C41008148 @default.
- W2068605729 hasConceptScore W2068605729C529173508 @default.
- W2068605729 hasConceptScore W2068605729C80291951 @default.
- W2068605729 hasConceptScore W2068605729C80444323 @default.
- W2068605729 hasConceptScore W2068605729C97686452 @default.
- W2068605729 hasLocation W20686057291 @default.
- W2068605729 hasOpenAccess W2068605729 @default.
- W2068605729 hasPrimaryLocation W20686057291 @default.
- W2068605729 hasRelatedWork W1503760549 @default.
- W2068605729 hasRelatedWork W1998586093 @default.
- W2068605729 hasRelatedWork W2185017216 @default.
- W2068605729 hasRelatedWork W3137189469 @default.
- W2068605729 hasRelatedWork W3160136729 @default.
- W2068605729 hasRelatedWork W4206956498 @default.
- W2068605729 hasRelatedWork W4237313945 @default.
- W2068605729 hasRelatedWork W4237428255 @default.
- W2068605729 hasRelatedWork W4246531319 @default.
- W2068605729 hasRelatedWork W1482645738 @default.
- W2068605729 isParatext "false" @default.
- W2068605729 isRetracted "false" @default.
- W2068605729 magId "2068605729" @default.
- W2068605729 workType "article" @default.