Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949676852> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2949676852 abstract "Refinement types are a popular way to specify and reason about key program properties. In this paper, we introduce RTR, a new system that adds refinement types to Ruby. RTR is built on top of RDL, a Ruby type checker that provides basic type information for the verification process. RTR works by encoding its verification problems into Rosette, a solver-aided host language. RTR handles mixins through assume-guarantee reasoning and uses just-in-time verification for metaprogramming. We formalize RTR by showing a translation from a core, Ruby-like language with refinement types into Rosette. We apply RTR to check a range of functional correctness properties on six Ruby programs. We find that RTR can successfully verify key methods in these programs, taking only a few minutes to perform verification." @default.
- W2949676852 created "2019-06-27" @default.
- W2949676852 creator A5031013753 @default.
- W2949676852 creator A5038702707 @default.
- W2949676852 creator A5044340411 @default.
- W2949676852 creator A5078144924 @default.
- W2949676852 creator A5088791029 @default.
- W2949676852 date "2017-11-25" @default.
- W2949676852 modified "2023-10-17" @default.
- W2949676852 title "Refinement Types for Ruby" @default.
- W2949676852 cites W1964748769 @default.
- W2949676852 cites W1973186567 @default.
- W2949676852 cites W2012312630 @default.
- W2949676852 cites W2017274604 @default.
- W2949676852 cites W2024914463 @default.
- W2949676852 cites W2052973434 @default.
- W2949676852 cites W2120172501 @default.
- W2949676852 cites W2128325590 @default.
- W2949676852 cites W2129345992 @default.
- W2949676852 cites W2148535470 @default.
- W2949676852 cites W2156249516 @default.
- W2949676852 cites W2171240827 @default.
- W2949676852 cites W2273111921 @default.
- W2949676852 cites W2341286426 @default.
- W2949676852 cites W2363172845 @default.
- W2949676852 cites W2493296585 @default.
- W2949676852 cites W2602388145 @default.
- W2949676852 cites W2911692446 @default.
- W2949676852 hasPublicationYear "2017" @default.
- W2949676852 type Work @default.
- W2949676852 sameAs 2949676852 @default.
- W2949676852 citedByCount "0" @default.
- W2949676852 crossrefType "posted-content" @default.
- W2949676852 hasAuthorship W2949676852A5031013753 @default.
- W2949676852 hasAuthorship W2949676852A5038702707 @default.
- W2949676852 hasAuthorship W2949676852A5044340411 @default.
- W2949676852 hasAuthorship W2949676852A5078144924 @default.
- W2949676852 hasAuthorship W2949676852A5088791029 @default.
- W2949676852 hasConcept C111919701 @default.
- W2949676852 hasConcept C169590947 @default.
- W2949676852 hasConcept C18903297 @default.
- W2949676852 hasConcept C199360897 @default.
- W2949676852 hasConcept C26517878 @default.
- W2949676852 hasConcept C2777299769 @default.
- W2949676852 hasConcept C35390924 @default.
- W2949676852 hasConcept C41008148 @default.
- W2949676852 hasConcept C55439883 @default.
- W2949676852 hasConcept C80444323 @default.
- W2949676852 hasConcept C86803240 @default.
- W2949676852 hasConceptScore W2949676852C111919701 @default.
- W2949676852 hasConceptScore W2949676852C169590947 @default.
- W2949676852 hasConceptScore W2949676852C18903297 @default.
- W2949676852 hasConceptScore W2949676852C199360897 @default.
- W2949676852 hasConceptScore W2949676852C26517878 @default.
- W2949676852 hasConceptScore W2949676852C2777299769 @default.
- W2949676852 hasConceptScore W2949676852C35390924 @default.
- W2949676852 hasConceptScore W2949676852C41008148 @default.
- W2949676852 hasConceptScore W2949676852C55439883 @default.
- W2949676852 hasConceptScore W2949676852C80444323 @default.
- W2949676852 hasConceptScore W2949676852C86803240 @default.
- W2949676852 hasLocation W29496768521 @default.
- W2949676852 hasOpenAccess W2949676852 @default.
- W2949676852 hasPrimaryLocation W29496768521 @default.
- W2949676852 hasRelatedWork W1183828699 @default.
- W2949676852 hasRelatedWork W128837028 @default.
- W2949676852 hasRelatedWork W136339 @default.
- W2949676852 hasRelatedWork W1518702906 @default.
- W2949676852 hasRelatedWork W1919525832 @default.
- W2949676852 hasRelatedWork W1969743416 @default.
- W2949676852 hasRelatedWork W2020635000 @default.
- W2949676852 hasRelatedWork W2035719106 @default.
- W2949676852 hasRelatedWork W2048177451 @default.
- W2949676852 hasRelatedWork W2105691551 @default.
- W2949676852 hasRelatedWork W2118196876 @default.
- W2949676852 hasRelatedWork W2186983497 @default.
- W2949676852 hasRelatedWork W2248653679 @default.
- W2949676852 hasRelatedWork W2480791090 @default.
- W2949676852 hasRelatedWork W2556680237 @default.
- W2949676852 hasRelatedWork W2768658963 @default.
- W2949676852 hasRelatedWork W3016154412 @default.
- W2949676852 hasRelatedWork W3092635374 @default.
- W2949676852 hasRelatedWork W3205444791 @default.
- W2949676852 hasRelatedWork W2290883355 @default.
- W2949676852 isParatext "false" @default.
- W2949676852 isRetracted "false" @default.
- W2949676852 magId "2949676852" @default.
- W2949676852 workType "article" @default.