Denotational semantics of a simple model of Eiffel

Yuzhong Qu, Zhijian Wang, Jiafu Xu. Denotational semantics of a simple model of Eiffel. J. Comput. Sci. Technol., 10(3):214-226, 1995. [doi]

Abstract

Abstract is missing.