The Partial Correctness Semantics of Imperative fuzzy Programming Language

Hengyang Wu, Yixiang Chen. The Partial Correctness Semantics of Imperative fuzzy Programming Language. In Guojun Wang 0004, Bin Zhao, Yongmin Li 0001, editors, Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012. Volume 5 of World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, 2012. [doi]

Abstract

Abstract is missing.