Matches in SemOpenAlex for { <https://semopenalex.org/work/W3033673652> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3033673652 abstract "String-number conversion is an important class of constraints needed for the symbolic execution of string-manipulating programs. In particular solving string constraints with string-number conversion is necessary for the analysis of scripting languages such as JavaScript and Python, where string-number conversion is a part of the definition of the core semantics of these languages. However, solving this type of constraint is very challenging for the state-of-the-art solvers. We propose in this paper an approach that can efficiently support both string-number conversion and other common types of string constraints. Experimental results show that it significantly outperforms other state-of-the-art tools on benchmarks that involves string-number conversion." @default.
- W3033673652 created "2020-06-12" @default.
- W3033673652 creator A5002478680 @default.
- W3033673652 creator A5012855077 @default.
- W3033673652 creator A5014291243 @default.
- W3033673652 creator A5015891197 @default.
- W3033673652 creator A5024809386 @default.
- W3033673652 creator A5042659880 @default.
- W3033673652 creator A5047278328 @default.
- W3033673652 creator A5048614307 @default.
- W3033673652 creator A5059358773 @default.
- W3033673652 date "2020-06-11" @default.
- W3033673652 modified "2023-09-29" @default.
- W3033673652 title "Efficient handling of string-number conversion" @default.
- W3033673652 cites W2023887108 @default.
- W3033673652 cites W2035476945 @default.
- W3033673652 cites W2037286444 @default.
- W3033673652 cites W2052958416 @default.
- W3033673652 cites W2094568767 @default.
- W3033673652 cites W2166461033 @default.
- W3033673652 cites W2295791966 @default.
- W3033673652 cites W2466311470 @default.
- W3033673652 cites W2565985959 @default.
- W3033673652 cites W2626453174 @default.
- W3033673652 cites W2766658289 @default.
- W3033673652 cites W2883887424 @default.
- W3033673652 cites W2885626945 @default.
- W3033673652 doi "https://doi.org/10.1145/3385412.3386034" @default.
- W3033673652 hasPublicationYear "2020" @default.
- W3033673652 type Work @default.
- W3033673652 sameAs 3033673652 @default.
- W3033673652 citedByCount "15" @default.
- W3033673652 countsByYear W30336736522020 @default.
- W3033673652 countsByYear W30336736522021 @default.
- W3033673652 countsByYear W30336736522022 @default.
- W3033673652 countsByYear W30336736522023 @default.
- W3033673652 crossrefType "proceedings-article" @default.
- W3033673652 hasAuthorship W3033673652A5002478680 @default.
- W3033673652 hasAuthorship W3033673652A5012855077 @default.
- W3033673652 hasAuthorship W3033673652A5014291243 @default.
- W3033673652 hasAuthorship W3033673652A5015891197 @default.
- W3033673652 hasAuthorship W3033673652A5024809386 @default.
- W3033673652 hasAuthorship W3033673652A5042659880 @default.
- W3033673652 hasAuthorship W3033673652A5047278328 @default.
- W3033673652 hasAuthorship W3033673652A5048614307 @default.
- W3033673652 hasAuthorship W3033673652A5059358773 @default.
- W3033673652 hasConcept C157486923 @default.
- W3033673652 hasConcept C162319229 @default.
- W3033673652 hasConcept C199360897 @default.
- W3033673652 hasConcept C22820288 @default.
- W3033673652 hasConcept C33923547 @default.
- W3033673652 hasConcept C37914503 @default.
- W3033673652 hasConcept C41008148 @default.
- W3033673652 hasConcept C519991488 @default.
- W3033673652 hasConcept C61423126 @default.
- W3033673652 hasConcept C7757238 @default.
- W3033673652 hasConcept C80444323 @default.
- W3033673652 hasConceptScore W3033673652C157486923 @default.
- W3033673652 hasConceptScore W3033673652C162319229 @default.
- W3033673652 hasConceptScore W3033673652C199360897 @default.
- W3033673652 hasConceptScore W3033673652C22820288 @default.
- W3033673652 hasConceptScore W3033673652C33923547 @default.
- W3033673652 hasConceptScore W3033673652C37914503 @default.
- W3033673652 hasConceptScore W3033673652C41008148 @default.
- W3033673652 hasConceptScore W3033673652C519991488 @default.
- W3033673652 hasConceptScore W3033673652C61423126 @default.
- W3033673652 hasConceptScore W3033673652C7757238 @default.
- W3033673652 hasConceptScore W3033673652C80444323 @default.
- W3033673652 hasLocation W30336736521 @default.
- W3033673652 hasOpenAccess W3033673652 @default.
- W3033673652 hasPrimaryLocation W30336736521 @default.
- W3033673652 hasRelatedWork W1537913012 @default.
- W3033673652 hasRelatedWork W1852679760 @default.
- W3033673652 hasRelatedWork W2086733238 @default.
- W3033673652 hasRelatedWork W2114326383 @default.
- W3033673652 hasRelatedWork W2235766367 @default.
- W3033673652 hasRelatedWork W2976477659 @default.
- W3033673652 hasRelatedWork W4210951666 @default.
- W3033673652 hasRelatedWork W4250110356 @default.
- W3033673652 hasRelatedWork W4300438041 @default.
- W3033673652 hasRelatedWork W212372412 @default.
- W3033673652 isParatext "false" @default.
- W3033673652 isRetracted "false" @default.
- W3033673652 magId "3033673652" @default.
- W3033673652 workType "article" @default.