Linear types for packet processing ( extended version )

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… (More)

2 Figures and Tables

Topics

  • Presentations referencing similar topics