Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898812172> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2898812172 abstract "Software contracts allow programmers to state rich program properties using the full expressive power of an object language. However, since they are enforced at runtime, monitoring contracts imposes significant overhead and delays error discovery. So contract verification aims to guarantee all or most of these properties ahead of time, enabling valuable optimizations and yielding a more general assurance of correctness. Existing methods for static contract verification satisfy the needs of more restricted target languages, but fail to address the challenges unique to those conjoining untyped, dynamic programming, higher-order functions, modularity, and statefulness. Our approach tackles all these features at once, in the context of the full Racket system—a mature environment for stateful, higher-order, multi-paradigm programming with or without types. Evaluating our method using a set of both pure and stateful benchmarks, we are able to verify 99.94% of checks statically (all but 28 of 51, 713)." @default.
- W2898812172 created "2018-11-09" @default.
- W2898812172 creator A5025007669 @default.
- W2898812172 creator A5043677781 @default.
- W2898812172 creator A5080073613 @default.
- W2898812172 creator A5091183810 @default.
- W2898812172 date "2018-01-07" @default.
- W2898812172 modified "2023-10-17" @default.
- W2898812172 title "Soft Contract Verification for Higher-order Stateful Programs" @default.
- W2898812172 hasPublicationYear "2018" @default.
- W2898812172 type Work @default.
- W2898812172 sameAs 2898812172 @default.
- W2898812172 citedByCount "2" @default.
- W2898812172 countsByYear W28988121722018 @default.
- W2898812172 countsByYear W28988121722020 @default.
- W2898812172 crossrefType "proceedings-article" @default.
- W2898812172 hasAuthorship W2898812172A5025007669 @default.
- W2898812172 hasAuthorship W2898812172A5043677781 @default.
- W2898812172 hasAuthorship W2898812172A5080073613 @default.
- W2898812172 hasAuthorship W2898812172A5091183810 @default.
- W2898812172 hasConcept C111498074 @default.
- W2898812172 hasConcept C151730666 @default.
- W2898812172 hasConcept C158379750 @default.
- W2898812172 hasConcept C186846655 @default.
- W2898812172 hasConcept C199360897 @default.
- W2898812172 hasConcept C202973057 @default.
- W2898812172 hasConcept C22927095 @default.
- W2898812172 hasConcept C2777904410 @default.
- W2898812172 hasConcept C2779343474 @default.
- W2898812172 hasConcept C2779960059 @default.
- W2898812172 hasConcept C31258907 @default.
- W2898812172 hasConcept C41008148 @default.
- W2898812172 hasConcept C529173508 @default.
- W2898812172 hasConcept C55439883 @default.
- W2898812172 hasConcept C80291951 @default.
- W2898812172 hasConcept C86803240 @default.
- W2898812172 hasConcept C97686452 @default.
- W2898812172 hasConceptScore W2898812172C111498074 @default.
- W2898812172 hasConceptScore W2898812172C151730666 @default.
- W2898812172 hasConceptScore W2898812172C158379750 @default.
- W2898812172 hasConceptScore W2898812172C186846655 @default.
- W2898812172 hasConceptScore W2898812172C199360897 @default.
- W2898812172 hasConceptScore W2898812172C202973057 @default.
- W2898812172 hasConceptScore W2898812172C22927095 @default.
- W2898812172 hasConceptScore W2898812172C2777904410 @default.
- W2898812172 hasConceptScore W2898812172C2779343474 @default.
- W2898812172 hasConceptScore W2898812172C2779960059 @default.
- W2898812172 hasConceptScore W2898812172C31258907 @default.
- W2898812172 hasConceptScore W2898812172C41008148 @default.
- W2898812172 hasConceptScore W2898812172C529173508 @default.
- W2898812172 hasConceptScore W2898812172C55439883 @default.
- W2898812172 hasConceptScore W2898812172C80291951 @default.
- W2898812172 hasConceptScore W2898812172C86803240 @default.
- W2898812172 hasConceptScore W2898812172C97686452 @default.
- W2898812172 hasLocation W28988121721 @default.
- W2898812172 hasOpenAccess W2898812172 @default.
- W2898812172 hasPrimaryLocation W28988121721 @default.
- W2898812172 hasRelatedWork W1963506672 @default.
- W2898812172 hasRelatedWork W1982969403 @default.
- W2898812172 hasRelatedWork W2023889124 @default.
- W2898812172 hasRelatedWork W2123930226 @default.
- W2898812172 hasRelatedWork W2127428602 @default.
- W2898812172 hasRelatedWork W2160171587 @default.
- W2898812172 hasRelatedWork W2162257946 @default.
- W2898812172 hasRelatedWork W2404108077 @default.
- W2898812172 hasRelatedWork W2544541532 @default.
- W2898812172 hasRelatedWork W2614586411 @default.
- W2898812172 hasRelatedWork W2616010075 @default.
- W2898812172 hasRelatedWork W2950723316 @default.
- W2898812172 hasRelatedWork W3011308507 @default.
- W2898812172 hasRelatedWork W3047262496 @default.
- W2898812172 hasRelatedWork W3047465835 @default.
- W2898812172 hasRelatedWork W3099703838 @default.
- W2898812172 hasRelatedWork W3206178602 @default.
- W2898812172 hasRelatedWork W3206405747 @default.
- W2898812172 hasRelatedWork W656463183 @default.
- W2898812172 hasRelatedWork W68822745 @default.
- W2898812172 isParatext "false" @default.
- W2898812172 isRetracted "false" @default.
- W2898812172 magId "2898812172" @default.
- W2898812172 workType "article" @default.