Hot-Flash
发表于 2025-3-27 00:12:32
http://reply.papertrans.cn/83/8235/823429/823429_31.png
暂停,间歇
发表于 2025-3-27 02:17:16
http://reply.papertrans.cn/83/8235/823429/823429_32.png
Water-Brash
发表于 2025-3-27 08:04:05
http://reply.papertrans.cn/83/8235/823429/823429_33.png
鉴赏家
发表于 2025-3-27 11:33:53
Overloading and inheritance, introduce formulations of the concepts of overload-systems and coercion-systems, and we present a treatment of (+, ×)-recursive classes and the definition of primitive recursive functions over such classes.
CRANK
发表于 2025-3-27 14:05:44
http://reply.papertrans.cn/83/8235/823429/823429_35.png
挖掘
发表于 2025-3-27 19:33:41
2-Categorical specification of partial algebras,erms) as categories, is extended to 2-categories, such that rewriting between terms can be made explicit. To make clear the benefits of such an approach the results are presented in the usual terminology of algebraic specifications.
foodstuff
发表于 2025-3-27 23:39:16
On fibred adjunctions and completeness for fibred categories,ions. Our aim is to show that fibred category theory can provide insight into constructions of relevance in algebraic specifications, . limits and colimits of many-sorted algebras, by explaining them at a natural level of abstraction.
连锁,连串
发表于 2025-3-28 04:24:02
http://reply.papertrans.cn/83/8235/823429/823429_38.png
MEN
发表于 2025-3-28 09:31:13
0302-9743 both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. .The main topics covered were: object-oriented specifications, rewriting metho
oxidize
发表于 2025-3-28 10:54:20
On certification of specifications for TROLL , objects,ved from TROLL . specifications. The transformation from specification language into calculus shall later be done automatically. Furthermore, we demonstrate proving of object properties by means of an example.