Stable Domain Theory in Formal Semantics

Author: Chen Yixiang
Publisher:
Publish Date: 2003-06-01
Features: This project conducts a systematic study on the mathematical foundation theory of computer programming languages and its application in formal semantics, achieving fruitful research results in areas such as domain theory in denotational semantics, non-Hoare-type logical systems in axiomatic semantics, and the formal semantics of uncertain programs. The academic monograph published, "Stable Domain Theory in Formal Semantics," holds significant theoretical value.