Design of compiler for mobile environment and its formalization using evolving algebra | IEEE Conference Publication | IEEE Xplore