FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2966873892> ?p ?o ?g. }

• W2966873892 endingPage "29" @default.
• W2966873892 startingPage "1" @default.
• W2966873892 abstract "It is a neat result from functional programming that libraries of parser combinators can support rapid construction of decoders for quite a range of formats. With a little more work, the same combinator program can denote both a decoder and an encoder. Unfortunately, the real world is full of gnarly formats, as with the packet formats that make up the standard Internet protocol stack. Most past parser-combinator approaches cannot handle these formats, and the few exceptions require redundancy – one part of the natural grammar needs to be hand-translated into hints in multiple parts of a parser program. We show how to recover very natural and nonredundant format specifications, covering all popular network packet formats and generating both decoders and encoders automatically. The catch is that we use the Coq proof assistant to derive both kinds of artifacts using tactics, automatically, in a way that guarantees that they form inverses of each other. We used our approach to reimplement packet processing for a full Internet protocol stack, inserting our replacement into the OCaml-based MirageOS unikernel, resulting in minimal performance degradation." @default.
• W2966873892 created "2019-08-13" @default.
• W2966873892 creator A5013294460 @default.
• W2966873892 creator A5018186543 @default.
• W2966873892 creator A5046619987 @default.
• W2966873892 creator A5073767542 @default.
• W2966873892 creator A5078100439 @default.
• W2966873892 date "2019-07-26" @default.
• W2966873892 modified "2023-09-24" @default.
• W2966873892 title "Narcissus: correct-by-construction derivation of decoders and encoders from binary formats" @default.
• W2966873892 cites W1509784638 @default.
• W2966873892 cites W1572478860 @default.
• W2966873892 cites W158755604 @default.
• W2966873892 cites W165943180 @default.
• W2966873892 cites W1968796785 @default.
• W2966873892 cites W1976978933 @default.
• W2966873892 cites W1987073254 @default.
• W2966873892 cites W2009064647 @default.
• W2966873892 cites W2009248821 @default.
• W2966873892 cites W2018951244 @default.
• W2966873892 cites W2064138295 @default.
• W2966873892 cites W2091385303 @default.
• W2966873892 cites W2096679454 @default.
• W2966873892 cites W2101188827 @default.
• W2966873892 cites W2102311747 @default.
• W2966873892 cites W2134939854 @default.
• W2966873892 cites W2141950720 @default.
• W2966873892 cites W2143934903 @default.
• W2966873892 cites W2148275616 @default.
• W2966873892 cites W2237682209 @default.
• W2966873892 cites W2267469130 @default.
• W2966873892 cites W2536320597 @default.
• W2966873892 cites W2562397426 @default.
• W2966873892 cites W2604664164 @default.
• W2966873892 cites W2606939423 @default.
• W2966873892 cites W2756121931 @default.
• W2966873892 cites W2778298068 @default.
• W2966873892 cites W2906874482 @default.
• W2966873892 cites W2963821837 @default.
• W2966873892 cites W4213362721 @default.
• W2966873892 cites W4232537713 @default.
• W2966873892 cites W4246839229 @default.
• W2966873892 cites W4253929418 @default.
• W2966873892 cites W4302403997 @default.
• W2966873892 cites W2753579351 @default.
• W2966873892 doi "https://doi.org/10.1145/3341686" @default.
• W2966873892 hasPublicationYear "2019" @default.
• W2966873892 type Work @default.
• W2966873892 sameAs 2966873892 @default.
• W2966873892 citedByCount "18" @default.
• W2966873892 countsByYear W29668738922020 @default.
• W2966873892 countsByYear W29668738922021 @default.
• W2966873892 countsByYear W29668738922022 @default.
• W2966873892 countsByYear W29668738922023 @default.
• W2966873892 crossrefType "journal-article" @default.
• W2966873892 hasAuthorship W2966873892A5013294460 @default.
• W2966873892 hasAuthorship W2966873892A5018186543 @default.
• W2966873892 hasAuthorship W2966873892A5046619987 @default.
• W2966873892 hasAuthorship W2966873892A5073767542 @default.
• W2966873892 hasAuthorship W2966873892A5078100439 @default.
• W2966873892 hasBestOaLocation W29668738921 @default.
• W2966873892 hasConcept C111919701 @default.
• W2966873892 hasConcept C118364021 @default.
• W2966873892 hasConcept C118505674 @default.
• W2966873892 hasConcept C158379750 @default.
• W2966873892 hasConcept C186644900 @default.
• W2966873892 hasConcept C199360897 @default.
• W2966873892 hasConcept C2779581428 @default.
• W2966873892 hasConcept C31258907 @default.
• W2966873892 hasConcept C41008148 @default.
• W2966873892 hasConcept C79678938 @default.
• W2966873892 hasConcept C80444323 @default.
• W2966873892 hasConceptScore W2966873892C111919701 @default.
• W2966873892 hasConceptScore W2966873892C118364021 @default.
• W2966873892 hasConceptScore W2966873892C118505674 @default.
• W2966873892 hasConceptScore W2966873892C158379750 @default.
• W2966873892 hasConceptScore W2966873892C186644900 @default.
• W2966873892 hasConceptScore W2966873892C199360897 @default.
• W2966873892 hasConceptScore W2966873892C2779581428 @default.
• W2966873892 hasConceptScore W2966873892C31258907 @default.
• W2966873892 hasConceptScore W2966873892C41008148 @default.
• W2966873892 hasConceptScore W2966873892C79678938 @default.
• W2966873892 hasConceptScore W2966873892C80444323 @default.
• W2966873892 hasFunder F4320306076 @default.
• W2966873892 hasFunder F4320332180 @default.
• W2966873892 hasIssue "ICFP" @default.
• W2966873892 hasLocation W29668738921 @default.
• W2966873892 hasOpenAccess W2966873892 @default.
• W2966873892 hasPrimaryLocation W29668738921 @default.
• W2966873892 hasRelatedWork W1490215723 @default.
• W2966873892 hasRelatedWork W2026046761 @default.
• W2966873892 hasRelatedWork W2070147537 @default.
• W2966873892 hasRelatedWork W2112307192 @default.
• W2966873892 hasRelatedWork W2135888537 @default.
• W2966873892 hasRelatedWork W2775538878 @default.
• W2966873892 hasRelatedWork W2790742555 @default.
• W2966873892 hasRelatedWork W2966873892 @default.
• W2966873892 hasRelatedWork W3042240372 @default.

• next