A Semantic Programming Language SPL+ - A Preliminary Report | IEEE Conference Publication | IEEE Xplore