Abstract
Software-Defined Networks (SDNs) is among the most recent advances of networks. SDNs use a controller device to manage the network switches. The management action includes adding or removing packet-management rules on action tables of switches. This paper introduces a high-level object-oriented network programming language, called ObjNet, to enable coding efficient, yet simple, procedures run by controller to control switches. ObjNet is object-oriented, clearly-organized, and expressive. The paper also presents a novel static semantics to ObjNet.