Matches in SemOpenAlex for { <https://semopenalex.org/work/W1515508441> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1515508441 endingPage "218" @default.
- W1515508441 startingPage "204" @default.
- W1515508441 abstract "We present PacLang: an imperative, concurrent, linearly-typed language designed for expressing packet processing applications. PacLang’s linear type system ensures that no packet is referenced by more than one thread, but allows multiple references to a packet within a thread. We argue (i) that this property greatly simplifies compilation of high-level programs to the distributed memory architectures of modern Network Processors; and (ii) that PacLang’s type system captures that style in which imperative packet processing programs are already written. Claim (ii) is justified by means of a case-study: we describe a PacLang implementation of the IPv4 unicast packet forwarding algorithm. PacLang is formalised by means of an operational semantics and a Unique Ownership theorem formalises its correctness with respect to the type system." @default.
- W1515508441 created "2016-06-24" @default.
- W1515508441 creator A5004222850 @default.
- W1515508441 creator A5025676132 @default.
- W1515508441 creator A5035716030 @default.
- W1515508441 date "2004-01-01" @default.
- W1515508441 modified "2023-10-16" @default.
- W1515508441 title "Linear Types for Packet Processing" @default.
- W1515508441 cites W1515508441 @default.
- W1515508441 cites W2028038730 @default.
- W1515508441 cites W2055378322 @default.
- W1515508441 cites W2073407646 @default.
- W1515508441 cites W2073904768 @default.
- W1515508441 cites W2168681242 @default.
- W1515508441 cites W4212917135 @default.
- W1515508441 doi "https://doi.org/10.1007/978-3-540-24725-8_15" @default.
- W1515508441 hasPublicationYear "2004" @default.
- W1515508441 type Work @default.
- W1515508441 sameAs 1515508441 @default.
- W1515508441 citedByCount "47" @default.
- W1515508441 countsByYear W15155084412012 @default.
- W1515508441 countsByYear W15155084412013 @default.
- W1515508441 countsByYear W15155084412014 @default.
- W1515508441 countsByYear W15155084412015 @default.
- W1515508441 countsByYear W15155084412016 @default.
- W1515508441 countsByYear W15155084412021 @default.
- W1515508441 countsByYear W15155084412022 @default.
- W1515508441 countsByYear W15155084412023 @default.
- W1515508441 crossrefType "book-chapter" @default.
- W1515508441 hasAuthorship W1515508441A5004222850 @default.
- W1515508441 hasAuthorship W1515508441A5025676132 @default.
- W1515508441 hasAuthorship W1515508441A5035716030 @default.
- W1515508441 hasBestOaLocation W15155084411 @default.
- W1515508441 hasConcept C108921912 @default.
- W1515508441 hasConcept C113508815 @default.
- W1515508441 hasConcept C11704745 @default.
- W1515508441 hasConcept C120314980 @default.
- W1515508441 hasConcept C138101251 @default.
- W1515508441 hasConcept C158379750 @default.
- W1515508441 hasConcept C158381197 @default.
- W1515508441 hasConcept C173608175 @default.
- W1515508441 hasConcept C199360897 @default.
- W1515508441 hasConcept C21434264 @default.
- W1515508441 hasConcept C22927095 @default.
- W1515508441 hasConcept C2779581428 @default.
- W1515508441 hasConcept C31258907 @default.
- W1515508441 hasConcept C41008148 @default.
- W1515508441 hasConcept C55439883 @default.
- W1515508441 hasConcept C80444323 @default.
- W1515508441 hasConcept C95362637 @default.
- W1515508441 hasConceptScore W1515508441C108921912 @default.
- W1515508441 hasConceptScore W1515508441C113508815 @default.
- W1515508441 hasConceptScore W1515508441C11704745 @default.
- W1515508441 hasConceptScore W1515508441C120314980 @default.
- W1515508441 hasConceptScore W1515508441C138101251 @default.
- W1515508441 hasConceptScore W1515508441C158379750 @default.
- W1515508441 hasConceptScore W1515508441C158381197 @default.
- W1515508441 hasConceptScore W1515508441C173608175 @default.
- W1515508441 hasConceptScore W1515508441C199360897 @default.
- W1515508441 hasConceptScore W1515508441C21434264 @default.
- W1515508441 hasConceptScore W1515508441C22927095 @default.
- W1515508441 hasConceptScore W1515508441C2779581428 @default.
- W1515508441 hasConceptScore W1515508441C31258907 @default.
- W1515508441 hasConceptScore W1515508441C41008148 @default.
- W1515508441 hasConceptScore W1515508441C55439883 @default.
- W1515508441 hasConceptScore W1515508441C80444323 @default.
- W1515508441 hasConceptScore W1515508441C95362637 @default.
- W1515508441 hasLocation W15155084411 @default.
- W1515508441 hasOpenAccess W1515508441 @default.
- W1515508441 hasPrimaryLocation W15155084411 @default.
- W1515508441 hasRelatedWork W1515508441 @default.
- W1515508441 hasRelatedWork W1804641721 @default.
- W1515508441 hasRelatedWork W1842751480 @default.
- W1515508441 hasRelatedWork W2005981682 @default.
- W1515508441 hasRelatedWork W2036352863 @default.
- W1515508441 hasRelatedWork W2038346391 @default.
- W1515508441 hasRelatedWork W2135874808 @default.
- W1515508441 hasRelatedWork W2557582647 @default.
- W1515508441 hasRelatedWork W3011083237 @default.
- W1515508441 hasRelatedWork W2526851855 @default.
- W1515508441 isParatext "false" @default.
- W1515508441 isRetracted "false" @default.
- W1515508441 magId "1515508441" @default.
- W1515508441 workType "book-chapter" @default.