Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899505438> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2899505438 abstract "The theory of strings with concatenation has been widely argued as the basis of constraint solving for verifying string-manipulating programs. However, this theory is far from adequate for expressing many string constraints that are also needed in practice; for example, the use of regular constraints (pattern matching against a regular expression), and the string-replace function (replacing either the first occurrence or all occurrences of a pattern'' string constant/variable/regular expression by areplacement'' string constant/variable), among many others. Both regular constraints and the string-replace function are crucial for such applications as analysis of JavaScript (or more generally HTML5 applications) against cross-site scripting (XSS) vulnerabilities, which motivates us to consider a richer class of string constraints. The importance of the string-replace function (especially the replace-all facility) is increasingly recognised, which can be witnessed by the incorporation of the function in the input languages of several string constraint solvers." @default.
- W2899505438 created "2018-11-09" @default.
- W2899505438 creator A5030747944 @default.
- W2899505438 creator A5034129725 @default.
- W2899505438 creator A5037458498 @default.
- W2899505438 creator A5039615242 @default.
- W2899505438 creator A5083664380 @default.
- W2899505438 date "2018-01-07" @default.
- W2899505438 modified "2023-09-26" @default.
- W2899505438 title "What's Decidable About String Constraints with ReplaceAll Function?" @default.
- W2899505438 hasPublicationYear "2018" @default.
- W2899505438 type Work @default.
- W2899505438 sameAs 2899505438 @default.
- W2899505438 citedByCount "1" @default.
- W2899505438 countsByYear W28995054382018 @default.
- W2899505438 crossrefType "proceedings-article" @default.
- W2899505438 hasAuthorship W2899505438A5030747944 @default.
- W2899505438 hasAuthorship W2899505438A5034129725 @default.
- W2899505438 hasAuthorship W2899505438A5037458498 @default.
- W2899505438 hasAuthorship W2899505438A5039615242 @default.
- W2899505438 hasAuthorship W2899505438A5083664380 @default.
- W2899505438 hasConcept C121329065 @default.
- W2899505438 hasConcept C14036430 @default.
- W2899505438 hasConcept C153269930 @default.
- W2899505438 hasConcept C157486923 @default.
- W2899505438 hasConcept C162319229 @default.
- W2899505438 hasConcept C182407805 @default.
- W2899505438 hasConcept C199360897 @default.
- W2899505438 hasConcept C22820288 @default.
- W2899505438 hasConcept C2524010 @default.
- W2899505438 hasConcept C2776036281 @default.
- W2899505438 hasConcept C2777027219 @default.
- W2899505438 hasConcept C33923547 @default.
- W2899505438 hasConcept C35578498 @default.
- W2899505438 hasConcept C37914503 @default.
- W2899505438 hasConcept C39569185 @default.
- W2899505438 hasConcept C41008148 @default.
- W2899505438 hasConcept C544833334 @default.
- W2899505438 hasConcept C59241245 @default.
- W2899505438 hasConcept C68859911 @default.
- W2899505438 hasConcept C7757238 @default.
- W2899505438 hasConcept C78458016 @default.
- W2899505438 hasConcept C79373723 @default.
- W2899505438 hasConcept C80444323 @default.
- W2899505438 hasConcept C86803240 @default.
- W2899505438 hasConceptScore W2899505438C121329065 @default.
- W2899505438 hasConceptScore W2899505438C14036430 @default.
- W2899505438 hasConceptScore W2899505438C153269930 @default.
- W2899505438 hasConceptScore W2899505438C157486923 @default.
- W2899505438 hasConceptScore W2899505438C162319229 @default.
- W2899505438 hasConceptScore W2899505438C182407805 @default.
- W2899505438 hasConceptScore W2899505438C199360897 @default.
- W2899505438 hasConceptScore W2899505438C22820288 @default.
- W2899505438 hasConceptScore W2899505438C2524010 @default.
- W2899505438 hasConceptScore W2899505438C2776036281 @default.
- W2899505438 hasConceptScore W2899505438C2777027219 @default.
- W2899505438 hasConceptScore W2899505438C33923547 @default.
- W2899505438 hasConceptScore W2899505438C35578498 @default.
- W2899505438 hasConceptScore W2899505438C37914503 @default.
- W2899505438 hasConceptScore W2899505438C39569185 @default.
- W2899505438 hasConceptScore W2899505438C41008148 @default.
- W2899505438 hasConceptScore W2899505438C544833334 @default.
- W2899505438 hasConceptScore W2899505438C59241245 @default.
- W2899505438 hasConceptScore W2899505438C68859911 @default.
- W2899505438 hasConceptScore W2899505438C7757238 @default.
- W2899505438 hasConceptScore W2899505438C78458016 @default.
- W2899505438 hasConceptScore W2899505438C79373723 @default.
- W2899505438 hasConceptScore W2899505438C80444323 @default.
- W2899505438 hasConceptScore W2899505438C86803240 @default.
- W2899505438 hasOpenAccess W2899505438 @default.
- W2899505438 hasRelatedWork W1492155803 @default.
- W2899505438 hasRelatedWork W1500436446 @default.
- W2899505438 hasRelatedWork W1515516220 @default.
- W2899505438 hasRelatedWork W1516952404 @default.
- W2899505438 hasRelatedWork W1554939680 @default.
- W2899505438 hasRelatedWork W1804417282 @default.
- W2899505438 hasRelatedWork W2010009487 @default.
- W2899505438 hasRelatedWork W2062184115 @default.
- W2899505438 hasRelatedWork W2105305530 @default.
- W2899505438 hasRelatedWork W2108890998 @default.
- W2899505438 hasRelatedWork W2125656797 @default.
- W2899505438 hasRelatedWork W2131334283 @default.
- W2899505438 hasRelatedWork W2477696314 @default.
- W2899505438 hasRelatedWork W2545831728 @default.
- W2899505438 hasRelatedWork W2969553935 @default.
- W2899505438 hasRelatedWork W3023682701 @default.
- W2899505438 hasRelatedWork W3094387502 @default.
- W2899505438 hasRelatedWork W3104721040 @default.
- W2899505438 hasRelatedWork W50054097 @default.
- W2899505438 hasRelatedWork W785823749 @default.
- W2899505438 isParatext "false" @default.
- W2899505438 isRetracted "false" @default.
- W2899505438 magId "2899505438" @default.
- W2899505438 workType "article" @default.