Date Added: Feb 2012
In this paper, the authors discuss the design of a high-level network-wide router configuration language. At its current stage of development, the language enables them to specify basic routing and security configurations. A declarative nature of the language is supposed to be intuitive to network administrators. They have developed an experimental compiler that produces configuration files for Cisco routers. The contribution of the paper consists of the description a language for configuration programming and the demonstration of its capabilities on several examples.