Matches in SemOpenAlex for { <https://semopenalex.org/work/W2777460097> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2777460097 endingPage "29" @default.
- W2777460097 startingPage "1" @default.
- W2777460097 abstract "We present lambda_sym, a typed λ-calculus for lenient symbolic execution , where some language constructs do not recognize symbolic values. Its type system, however, ensures safe behavior of all symbolic values in a program. Our calculus extends a base occurrence typing system with symbolic types and mutable state, making it a suitable model for both functional and imperative symbolically executed languages. Naively allowing mutation in this mixed setting introduces soundness issues, however, so we further add concreteness polymorphism , which restores soundness without rejecting too many valid programs. To show that our calculus is a useful model for a real language, we implemented Typed Rosette, a typed extension of the solver-aided Rosette language. We evaluate Typed Rosette by porting a large code base, demonstrating that our type system accommodates a wide variety of symbolically executed programs." @default.
- W2777460097 created "2018-01-05" @default.
- W2777460097 creator A5044510881 @default.
- W2777460097 creator A5069602669 @default.
- W2777460097 creator A5088791029 @default.
- W2777460097 date "2017-12-27" @default.
- W2777460097 modified "2023-10-17" @default.
- W2777460097 title "Symbolic types for lenient symbolic execution" @default.
- W2777460097 cites W1778142413 @default.
- W2777460097 cites W1980939032 @default.
- W2777460097 cites W2009489720 @default.
- W2777460097 cites W2014473133 @default.
- W2777460097 cites W2025407135 @default.
- W2777460097 cites W2055806388 @default.
- W2777460097 cites W2060440626 @default.
- W2777460097 cites W2061056245 @default.
- W2777460097 cites W2091723900 @default.
- W2777460097 cites W2096368963 @default.
- W2777460097 cites W2101085206 @default.
- W2777460097 cites W2112447468 @default.
- W2777460097 cites W2129278597 @default.
- W2777460097 cites W2132897303 @default.
- W2777460097 cites W2158126684 @default.
- W2777460097 cites W2163671349 @default.
- W2777460097 cites W2294286398 @default.
- W2777460097 cites W2295447786 @default.
- W2777460097 cites W2296019735 @default.
- W2777460097 cites W2493296585 @default.
- W2777460097 cites W2536639940 @default.
- W2777460097 cites W2564970793 @default.
- W2777460097 cites W2610511123 @default.
- W2777460097 cites W2611698539 @default.
- W2777460097 cites W2625764229 @default.
- W2777460097 cites W3011737828 @default.
- W2777460097 cites W4233589520 @default.
- W2777460097 cites W4235903093 @default.
- W2777460097 cites W4237492309 @default.
- W2777460097 cites W4242364663 @default.
- W2777460097 cites W4243882797 @default.
- W2777460097 cites W4245234767 @default.
- W2777460097 cites W52244296 @default.
- W2777460097 doi "https://doi.org/10.1145/3158128" @default.
- W2777460097 hasPublicationYear "2017" @default.
- W2777460097 type Work @default.
- W2777460097 sameAs 2777460097 @default.
- W2777460097 citedByCount "3" @default.
- W2777460097 countsByYear W27774600972019 @default.
- W2777460097 countsByYear W27774600972020 @default.
- W2777460097 countsByYear W27774600972022 @default.
- W2777460097 crossrefType "journal-article" @default.
- W2777460097 hasAuthorship W2777460097A5044510881 @default.
- W2777460097 hasAuthorship W2777460097A5069602669 @default.
- W2777460097 hasAuthorship W2777460097A5088791029 @default.
- W2777460097 hasBestOaLocation W27774600971 @default.
- W2777460097 hasConcept C11171543 @default.
- W2777460097 hasConcept C15744967 @default.
- W2777460097 hasConcept C199360897 @default.
- W2777460097 hasConcept C2776095079 @default.
- W2777460097 hasConcept C2777904410 @default.
- W2777460097 hasConcept C2779639559 @default.
- W2777460097 hasConcept C39920170 @default.
- W2777460097 hasConcept C41008148 @default.
- W2777460097 hasConcept C80444323 @default.
- W2777460097 hasConceptScore W2777460097C11171543 @default.
- W2777460097 hasConceptScore W2777460097C15744967 @default.
- W2777460097 hasConceptScore W2777460097C199360897 @default.
- W2777460097 hasConceptScore W2777460097C2776095079 @default.
- W2777460097 hasConceptScore W2777460097C2777904410 @default.
- W2777460097 hasConceptScore W2777460097C2779639559 @default.
- W2777460097 hasConceptScore W2777460097C39920170 @default.
- W2777460097 hasConceptScore W2777460097C41008148 @default.
- W2777460097 hasConceptScore W2777460097C80444323 @default.
- W2777460097 hasIssue "POPL" @default.
- W2777460097 hasLocation W27774600971 @default.
- W2777460097 hasOpenAccess W2777460097 @default.
- W2777460097 hasPrimaryLocation W27774600971 @default.
- W2777460097 hasRelatedWork W109180904 @default.
- W2777460097 hasRelatedWork W1485738864 @default.
- W2777460097 hasRelatedWork W2777460097 @default.
- W2777460097 hasRelatedWork W2899100898 @default.
- W2777460097 hasRelatedWork W2899465488 @default.
- W2777460097 hasRelatedWork W2952254478 @default.
- W2777460097 hasRelatedWork W3039319427 @default.
- W2777460097 hasRelatedWork W4232884709 @default.
- W2777460097 hasRelatedWork W4237428255 @default.
- W2777460097 hasRelatedWork W4293812490 @default.
- W2777460097 hasVolume "2" @default.
- W2777460097 isParatext "false" @default.
- W2777460097 isRetracted "false" @default.
- W2777460097 magId "2777460097" @default.
- W2777460097 workType "article" @default.