Denotational semantics of a simple model of Eiffel Qu YuzhongWang ZhijianXu Jiafu Regular Papers Pages: 214 - 226
A formal semantics for DAI language NUML Xu ManwuLu JianfengDai Jinwen Regular Papers Pages: 227 - 238
Nonuniform lowness and strong nonuniform lowness Li HongzhouLi Guanying Regular Papers Pages: 253 - 259
Institutions of variable truth values: An approach in the ordered style Ying Mingsheng Regular Papers Pages: 267 - 273
An algebraic characterization of inductive soundness in proof by consistency Shao ZhiqingSong Guoxin Brief Paper Pages: 285 - 288