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...
Main Authors: | , , , , |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149915 |