Matches in SemOpenAlex for { <https://semopenalex.org/work/W2520076500> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2520076500 endingPage "109" @default.
- W2520076500 startingPage "95" @default.
- W2520076500 abstract "We describe the formalization of a certified algorithm for regular expression parsing based on Brzozowski derivatives, in the dependently typed language Idris. The formalized algorithm produces a proof that an input string matches a given regular expression or a proof that no matching exists. A tool for regular expression based search in the style of the well known GNU grep has been developed with the certified algorithm, and practical experiments were conducted with this tool." @default.
- W2520076500 created "2016-09-23" @default.
- W2520076500 creator A5048776424 @default.
- W2520076500 creator A5061049872 @default.
- W2520076500 creator A5085152446 @default.
- W2520076500 date "2016-01-01" @default.
- W2520076500 modified "2023-10-16" @default.
- W2520076500 title "Certified Derivative-Based Parsing of Regular Expressions" @default.
- W2520076500 cites W1572478860 @default.
- W2520076500 cites W1574255194 @default.
- W2520076500 cites W1638179998 @default.
- W2520076500 cites W1971841096 @default.
- W2520076500 cites W1975501418 @default.
- W2520076500 cites W2047505657 @default.
- W2520076500 cites W2055851776 @default.
- W2520076500 cites W2062887328 @default.
- W2520076500 cites W2094985106 @default.
- W2520076500 cites W2099741881 @default.
- W2520076500 cites W2145108549 @default.
- W2520076500 cites W2156429182 @default.
- W2520076500 cites W2161151447 @default.
- W2520076500 cites W2520076500 @default.
- W2520076500 cites W3105871910 @default.
- W2520076500 cites W35443084 @default.
- W2520076500 cites W4242767025 @default.
- W2520076500 cites W4247830816 @default.
- W2520076500 cites W49365094 @default.
- W2520076500 doi "https://doi.org/10.1007/978-3-319-45279-1_7" @default.
- W2520076500 hasPublicationYear "2016" @default.
- W2520076500 type Work @default.
- W2520076500 sameAs 2520076500 @default.
- W2520076500 citedByCount "3" @default.
- W2520076500 countsByYear W25200765002016 @default.
- W2520076500 countsByYear W25200765002020 @default.
- W2520076500 countsByYear W25200765002021 @default.
- W2520076500 crossrefType "book-chapter" @default.
- W2520076500 hasAuthorship W2520076500A5048776424 @default.
- W2520076500 hasAuthorship W2520076500A5061049872 @default.
- W2520076500 hasAuthorship W2520076500A5085152446 @default.
- W2520076500 hasBestOaLocation W25200765002 @default.
- W2520076500 hasConcept C10138342 @default.
- W2520076500 hasConcept C111771559 @default.
- W2520076500 hasConcept C144133560 @default.
- W2520076500 hasConcept C17744445 @default.
- W2520076500 hasConcept C186644900 @default.
- W2520076500 hasConcept C199360897 @default.
- W2520076500 hasConcept C199539241 @default.
- W2520076500 hasConcept C33923547 @default.
- W2520076500 hasConcept C41008148 @default.
- W2520076500 hasConcept C46304622 @default.
- W2520076500 hasConceptScore W2520076500C10138342 @default.
- W2520076500 hasConceptScore W2520076500C111771559 @default.
- W2520076500 hasConceptScore W2520076500C144133560 @default.
- W2520076500 hasConceptScore W2520076500C17744445 @default.
- W2520076500 hasConceptScore W2520076500C186644900 @default.
- W2520076500 hasConceptScore W2520076500C199360897 @default.
- W2520076500 hasConceptScore W2520076500C199539241 @default.
- W2520076500 hasConceptScore W2520076500C33923547 @default.
- W2520076500 hasConceptScore W2520076500C41008148 @default.
- W2520076500 hasConceptScore W2520076500C46304622 @default.
- W2520076500 hasLocation W25200765001 @default.
- W2520076500 hasLocation W25200765002 @default.
- W2520076500 hasOpenAccess W2520076500 @default.
- W2520076500 hasPrimaryLocation W25200765001 @default.
- W2520076500 hasRelatedWork W1512248002 @default.
- W2520076500 hasRelatedWork W1998962249 @default.
- W2520076500 hasRelatedWork W2026046761 @default.
- W2520076500 hasRelatedWork W2070147537 @default.
- W2520076500 hasRelatedWork W2132843347 @default.
- W2520076500 hasRelatedWork W2139865158 @default.
- W2520076500 hasRelatedWork W2171794906 @default.
- W2520076500 hasRelatedWork W2368553372 @default.
- W2520076500 hasRelatedWork W2467097043 @default.
- W2520076500 hasRelatedWork W2474495446 @default.
- W2520076500 isParatext "false" @default.
- W2520076500 isRetracted "false" @default.
- W2520076500 magId "2520076500" @default.
- W2520076500 workType "book-chapter" @default.