Matches in SemOpenAlex for { <https://semopenalex.org/work/W3040290243> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3040290243 abstract "In text encoding standards such as Unicode, text strings are sequences of code points, each of which can be represented as a natural number. We present a decision procedure for a concatenation-free theory of strings that includes length and a conversion function from strings to integer code points. Furthermore, we show how many common string operations, such as conversions between lowercase and uppercase, can be naturally encoded using this conversion function. We describe our implementation of this approach in the SMT solver CVC4, which contains a high-performance string subsolver, and show that the use of a native procedure for code points significantly improves its performance with respect to other state-of-the-art string solvers." @default.
- W3040290243 created "2020-07-10" @default.
- W3040290243 creator A5026961968 @default.
- W3040290243 creator A5046830049 @default.
- W3040290243 creator A5055297050 @default.
- W3040290243 creator A5083954589 @default.
- W3040290243 date "2020-01-01" @default.
- W3040290243 modified "2023-09-24" @default.
- W3040290243 title "A Decision Procedure for String to Code Point Conversion" @default.
- W3040290243 cites W1017176722 @default.
- W3040290243 cites W1480909796 @default.
- W3040290243 cites W1582686279 @default.
- W3040290243 cites W1599228120 @default.
- W3040290243 cites W1952344271 @default.
- W3040290243 cites W2022846948 @default.
- W3040290243 cites W2023887108 @default.
- W3040290243 cites W2035476945 @default.
- W3040290243 cites W2044901139 @default.
- W3040290243 cites W2094568767 @default.
- W3040290243 cites W2117402063 @default.
- W3040290243 cites W2159786179 @default.
- W3040290243 cites W2166461033 @default.
- W3040290243 cites W2295791966 @default.
- W3040290243 cites W2498950568 @default.
- W3040290243 cites W254881558 @default.
- W3040290243 cites W2736027423 @default.
- W3040290243 cites W2767683523 @default.
- W3040290243 cites W2908957302 @default.
- W3040290243 cites W2981614836 @default.
- W3040290243 cites W4230454357 @default.
- W3040290243 cites W4238877791 @default.
- W3040290243 cites W4246691913 @default.
- W3040290243 cites W4253795631 @default.
- W3040290243 doi "https://doi.org/10.1007/978-3-030-51074-9_13" @default.
- W3040290243 hasPublicationYear "2020" @default.
- W3040290243 type Work @default.
- W3040290243 sameAs 3040290243 @default.
- W3040290243 citedByCount "3" @default.
- W3040290243 countsByYear W30402902432020 @default.
- W3040290243 countsByYear W30402902432021 @default.
- W3040290243 countsByYear W30402902432022 @default.
- W3040290243 crossrefType "book-chapter" @default.
- W3040290243 hasAuthorship W3040290243A5026961968 @default.
- W3040290243 hasAuthorship W3040290243A5046830049 @default.
- W3040290243 hasAuthorship W3040290243A5055297050 @default.
- W3040290243 hasAuthorship W3040290243A5083954589 @default.
- W3040290243 hasBestOaLocation W30402902431 @default.
- W3040290243 hasConcept C11413529 @default.
- W3040290243 hasConcept C154945302 @default.
- W3040290243 hasConcept C157486923 @default.
- W3040290243 hasConcept C177264268 @default.
- W3040290243 hasConcept C199360897 @default.
- W3040290243 hasConcept C2524010 @default.
- W3040290243 hasConcept C2776760102 @default.
- W3040290243 hasConcept C28719098 @default.
- W3040290243 hasConcept C33923547 @default.
- W3040290243 hasConcept C37914503 @default.
- W3040290243 hasConcept C41008148 @default.
- W3040290243 hasConcept C500551929 @default.
- W3040290243 hasConcept C80444323 @default.
- W3040290243 hasConcept C87619178 @default.
- W3040290243 hasConcept C94375191 @default.
- W3040290243 hasConcept C97137487 @default.
- W3040290243 hasConceptScore W3040290243C11413529 @default.
- W3040290243 hasConceptScore W3040290243C154945302 @default.
- W3040290243 hasConceptScore W3040290243C157486923 @default.
- W3040290243 hasConceptScore W3040290243C177264268 @default.
- W3040290243 hasConceptScore W3040290243C199360897 @default.
- W3040290243 hasConceptScore W3040290243C2524010 @default.
- W3040290243 hasConceptScore W3040290243C2776760102 @default.
- W3040290243 hasConceptScore W3040290243C28719098 @default.
- W3040290243 hasConceptScore W3040290243C33923547 @default.
- W3040290243 hasConceptScore W3040290243C37914503 @default.
- W3040290243 hasConceptScore W3040290243C41008148 @default.
- W3040290243 hasConceptScore W3040290243C500551929 @default.
- W3040290243 hasConceptScore W3040290243C80444323 @default.
- W3040290243 hasConceptScore W3040290243C87619178 @default.
- W3040290243 hasConceptScore W3040290243C94375191 @default.
- W3040290243 hasConceptScore W3040290243C97137487 @default.
- W3040290243 hasLocation W30402902431 @default.
- W3040290243 hasOpenAccess W3040290243 @default.
- W3040290243 hasPrimaryLocation W30402902431 @default.
- W3040290243 hasRelatedWork W12455754 @default.
- W3040290243 hasRelatedWork W1460658 @default.
- W3040290243 hasRelatedWork W1482794 @default.
- W3040290243 hasRelatedWork W1713610 @default.
- W3040290243 hasRelatedWork W3009568 @default.
- W3040290243 hasRelatedWork W6586607 @default.
- W3040290243 hasRelatedWork W9387966 @default.
- W3040290243 hasRelatedWork W9511043 @default.
- W3040290243 hasRelatedWork W9742739 @default.
- W3040290243 hasRelatedWork W8367442 @default.
- W3040290243 isParatext "false" @default.
- W3040290243 isRetracted "false" @default.
- W3040290243 magId "3040290243" @default.
- W3040290243 workType "book-chapter" @default.