变形
发表于 2025-3-28 15:35:55
http://reply.papertrans.cn/83/8235/823426/823426_41.png
懒惰人民
发表于 2025-3-28 19:55:50
A match operation for rule-based modular system design,hich generalizes the basic ones, is used in the rule-based approach to the design of modular systems, recently introduced by the second author. In this approach, sequences of derivations which use the interfaces of a given set of modules can be realized by applying the match operation to the modules employed in the derivation.
VEST
发表于 2025-3-29 00:20:33
Clausal rewriting: Applications and implementation,O90]. In this note we outline several applications of these techniques, such as efficient prototyping, checking sufficient completeness properties and theorem proving in partial specifications. Furthermore, some methods used in the implementation of these techniques are described and their correctness is proved.
Traumatic-Grief
发表于 2025-3-29 05:21:40
0302-9743Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.978-3-540-54496-8978-3-540-38416-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
角斗士
发表于 2025-3-29 07:38:15
http://reply.papertrans.cn/83/8235/823426/823426_45.png
thwart
发表于 2025-3-29 12:54:28
http://reply.papertrans.cn/83/8235/823426/823426_46.png
现代
发表于 2025-3-29 15:33:53
A 2-category approach to critical pair completion,ion properties are probably satisfied for all those type constructions which can be formalized as parameterized abstract data types without equations effecting the constructors, in the generalisation of the CPC algorithm scheme one has to focus the attention only on the pullback construction in the resulting category of types and terms.
GEM
发表于 2025-3-29 22:57:35
http://reply.papertrans.cn/83/8235/823426/823426_48.png
立即
发表于 2025-3-30 03:23:44
An association of Algebraic term nets and abstract data types for specifying real communication procation is achieved in two steps:.First, we use a constructive approach based on Algebraic Term Nets to build a compact model of the given protocol. Algebraic Term Nets are a form of high-level Petri nets, using terms of a given signature as tokens. This allows to build sufficiently refined models wi
exhilaration
发表于 2025-3-30 07:31:48
Composition of algebraic high-level nets,een algebraic net scheme (as in /Va85/ or /RV87/) and algebra. We show that the algebraic high-level nets can be composed in a elegant manner using colimits and especially pushouts. We define the semantics for algebraic high-level nets as a functor into the category of coloured nets and prove that i