Display options
Cite
Loehr, D., & Walker, D. (2022). Safe, modular packet pipeline programming. Proceedings of the ACM on Programming Languages, 6(POPL), 1-28.
Loehr, Devon, and David Walker. "Safe, modular packet pipeline programming." Proceedings of the ACM on Programming Languages 6.POPL (2022): 1-28.
Copy Download .nbib Format: MLA
Share it on
Full text links
View full text

D Loehr, D Walker - Proceedings of the ACM on Programming …, 2022 - dl.acm.org

Safe, modular packet pipeline programming.

pipeline programs

Walker

GSID: zWDxzPPWtD4J

Excerpt

… ’s packet-processing pipeline. In this paper, we define Lucid 2.0, a new language and type system that guarantees programs access data in a consistent order and hence are pipeline-safe. Lucid 2.0 builds on top of the original Lucid language, which is also pipeline-safe, but …

Similar articles