Intercept
发表于 2025-3-28 17:44:03
http://reply.papertrans.cn/83/8235/823425/823425_41.png
aptitude
发表于 2025-3-28 22:42:27
New concepts of amalgamation and extension for a general theory of specifications,uational algebraic specifications. These results are promising for a general theory of parameterized and module specifications where strong persistency of functors can be relaxed by weaker properties.
推测
发表于 2025-3-29 00:14:40
http://reply.papertrans.cn/83/8235/823425/823425_43.png
indoctrinate
发表于 2025-3-29 04:45:48
Process semantics of temporal logic specification,theories and a model of it as a diagram in the category of processes, the limit of the process diagram is a model of the colimit of the theory diagram. In fact, any denotation of a system of interconnected specifications corresponds to a configuration of their denotations as a system of interconnected processes.
神圣在玷污
发表于 2025-3-29 10:49:35
Generic classes in an object-based language,s and then introduces a treatment of the semantics of generic classes for ... Again, while the categories involved are very different, the results are very reminiscent of those found in algebraic specifications.
Measured
发表于 2025-3-29 14:28:40
http://reply.papertrans.cn/83/8235/823425/823425_46.png
Additive
发表于 2025-3-29 16:44:14
http://reply.papertrans.cn/83/8235/823425/823425_47.png
分离
发表于 2025-3-29 20:27:10
http://reply.papertrans.cn/83/8235/823425/823425_48.png
ATRIA
发表于 2025-3-30 02:42:01
http://reply.papertrans.cn/83/8235/823425/823425_49.png
生锈
发表于 2025-3-30 05:21:55
http://reply.papertrans.cn/83/8235/823425/823425_50.png