Programming Language Techniques for Modular Router Configurations

This paper applies programming language techniques to a high-level system description, both to optimize the system and to prove useful properties about it. The system in question is Click, a modular software router framework. Click routers are built from components called elements. Elements are writ...

Full description

Bibliographic Details
Main Authors: Kohler, Eddie, Chen, Benjie, Kaashoek, M. Frans, Morris, Robert T., Poletto, Massimiliano
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149915