PRSafe: Primitive Recursive Function based Domain Specific Language using LLVM | IEEE Conference Publication | IEEE Xplore