Programming language support for routing in pervasive networks | IEEE Conference Publication | IEEE Xplore