Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058724440> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2058724440 abstract "Today many bug detecting tools use static program analysis techniques to discover the vulnerabilities in programs, and many static program analyses can be converted to CFL (Context-Free-Language) reachability problems, most of which are Dyck-CFL reachability problems, a particular class of CFL reachability problems based on Dyck languages. In order to speed up the static analyses formulated using the Dyck-CFL reachability problems, we propose an efficient algorithm of O(n) time for the Dyck-CFL reachability problem when the graph considered is a bidirected tree with specific constraints, while a naive algorithm runs in O(n2) time. This is done by the bidirected-tree merging and an efficient method to determine the existence of the directed-path from the source to the destination." @default.
- W2058724440 created "2016-06-24" @default.
- W2058724440 creator A5010268146 @default.
- W2058724440 creator A5022802322 @default.
- W2058724440 creator A5028656363 @default.
- W2058724440 date "2013-03-13" @default.
- W2058724440 modified "2023-09-23" @default.
- W2058724440 title "A linear-time complexity algorithm for solving the Dyck-CFL reachability problem on bi-directed trees" @default.
- W2058724440 doi "https://doi.org/10.1117/12.2021187" @default.
- W2058724440 hasPublicationYear "2013" @default.
- W2058724440 type Work @default.
- W2058724440 sameAs 2058724440 @default.
- W2058724440 citedByCount "0" @default.
- W2058724440 crossrefType "proceedings-article" @default.
- W2058724440 hasAuthorship W2058724440A5010268146 @default.
- W2058724440 hasAuthorship W2058724440A5022802322 @default.
- W2058724440 hasAuthorship W2058724440A5028656363 @default.
- W2058724440 hasConcept C113174947 @default.
- W2058724440 hasConcept C11413529 @default.
- W2058724440 hasConcept C114614502 @default.
- W2058724440 hasConcept C132525143 @default.
- W2058724440 hasConcept C136643341 @default.
- W2058724440 hasConcept C146380142 @default.
- W2058724440 hasConcept C151730666 @default.
- W2058724440 hasConcept C199360897 @default.
- W2058724440 hasConcept C2777669093 @default.
- W2058724440 hasConcept C2777735758 @default.
- W2058724440 hasConcept C2779343474 @default.
- W2058724440 hasConcept C311688 @default.
- W2058724440 hasConcept C33923547 @default.
- W2058724440 hasConcept C38754835 @default.
- W2058724440 hasConcept C41008148 @default.
- W2058724440 hasConcept C80444323 @default.
- W2058724440 hasConcept C86803240 @default.
- W2058724440 hasConceptScore W2058724440C113174947 @default.
- W2058724440 hasConceptScore W2058724440C11413529 @default.
- W2058724440 hasConceptScore W2058724440C114614502 @default.
- W2058724440 hasConceptScore W2058724440C132525143 @default.
- W2058724440 hasConceptScore W2058724440C136643341 @default.
- W2058724440 hasConceptScore W2058724440C146380142 @default.
- W2058724440 hasConceptScore W2058724440C151730666 @default.
- W2058724440 hasConceptScore W2058724440C199360897 @default.
- W2058724440 hasConceptScore W2058724440C2777669093 @default.
- W2058724440 hasConceptScore W2058724440C2777735758 @default.
- W2058724440 hasConceptScore W2058724440C2779343474 @default.
- W2058724440 hasConceptScore W2058724440C311688 @default.
- W2058724440 hasConceptScore W2058724440C33923547 @default.
- W2058724440 hasConceptScore W2058724440C38754835 @default.
- W2058724440 hasConceptScore W2058724440C41008148 @default.
- W2058724440 hasConceptScore W2058724440C80444323 @default.
- W2058724440 hasConceptScore W2058724440C86803240 @default.
- W2058724440 hasLocation W20587244401 @default.
- W2058724440 hasOpenAccess W2058724440 @default.
- W2058724440 hasPrimaryLocation W20587244401 @default.
- W2058724440 hasRelatedWork W1541386091 @default.
- W2058724440 hasRelatedWork W1546536933 @default.
- W2058724440 hasRelatedWork W1809981151 @default.
- W2058724440 hasRelatedWork W1988294273 @default.
- W2058724440 hasRelatedWork W2401323518 @default.
- W2058724440 hasRelatedWork W2739957888 @default.
- W2058724440 hasRelatedWork W2913562315 @default.
- W2058724440 hasRelatedWork W2953023573 @default.
- W2058724440 hasRelatedWork W2998720137 @default.
- W2058724440 hasRelatedWork W3005756820 @default.
- W2058724440 hasRelatedWork W3006296679 @default.
- W2058724440 hasRelatedWork W3080407957 @default.
- W2058724440 hasRelatedWork W3088322742 @default.
- W2058724440 hasRelatedWork W3099341308 @default.
- W2058724440 hasRelatedWork W3141621133 @default.
- W2058724440 hasRelatedWork W3176441537 @default.
- W2058724440 hasRelatedWork W3184362906 @default.
- W2058724440 hasRelatedWork W837480072 @default.
- W2058724440 hasRelatedWork W2842130177 @default.
- W2058724440 hasRelatedWork W2963404201 @default.
- W2058724440 isParatext "false" @default.
- W2058724440 isRetracted "false" @default.
- W2058724440 magId "2058724440" @default.
- W2058724440 workType "article" @default.