Denotational semantics of a simple model of Eiffel

DOI10.1007/BF02943489zbMath0837.68065OpenAlexW2053684064MaRDI QIDQ1894321

Yuzhong Qu, Zhi-Jian Wang, Jia-Fu Xu

Publication date: 24 July 1995

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943489

zbMATH Keywords

denotational semanticsobject-oriented programmingEiffel

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Uses Software

• Smalltalk
• Eiffel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Denotational semantics of a simple model of Eiffel