How Firing Conditions Help Inheritance

How Firing Conditions Help Inheritance
复制标题

烧成条件如何帮助传承

DOI：
--
复制
发表时间：
1995
期刊：
ZUM
影响因子：
--
通讯作者：
B. Strulo
B. Strulo
中科院分区：
--
文献类型：
--
作者：
B. Strulo

文献摘要

被引文献

相似文献

我们解决了Z语义上的一个不足的问题。操作模式是什么意思？我们通过描述我们以主动和被动行为指定对象的要求来解释为什么这很重要。我们表明，为了表示主动行为，我们发现的一种解释之一也可以大大简化面向对象的继承。
We tackle an under-explored question in Z semantics; what does an operation schema mean? We explain why this is important by describing our requirement to specify objects with active and passive behaviours. We show that one of the interpretations we uncover in order to represent active behaviour can also considerably simplify object-oriented inheritance.