Zhang Guigang, Shu Wang, Xu ChengZhi, Zhiyuan Gong, Phillip C.-Y. Sheu. A Semantic Programming Language SPL+ - A Preliminary Report. In 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2. pages 274-281, IEEE Computer Society, 2008. [doi]
Abstract is missing.