@conference {El-Zawawy14-2, title = {ImNet: An Imperative Network Programming Language}, booktitle = {Proceedings of The 14th International Conference on Applied Computer Science {\textendash} Constantin Buzatu (Ed): ACS 2014, Modern Computer Applications in Science and Education}, year = {2014}, note = {

n/a

}, pages = {149-156}, abstract = {

One of the most recent architectures of networks is Software-Defined Networks (SDNs) using a controller appliance to control the set of switches on the network. The controlling process includes installing or uninstalling packet-processing rules on flow tables of switches.
This paper presents a high-level imperative network programming language, called ImNet, to facilitate writing
efficient, yet simple, programs executed by controller to manage switches. ImNet is simply-structured, expressive, compositional, and imperative. This paper also introduces an operational semantics to ImNet. Detailed examples of programs (with their operational semantics) constructed in ImNet are illustrated in the paper as well.

}, attachments = {https://scholar.cu.edu.eg/sites/default/files/maelzawawy/files/imnet_an_imperative_network_programming_language.pdf}, author = {Mohamed A. El-Zawawy and Adel I. AlSalem} }