Exaggerate
发表于 2025-3-23 10:56:13
Membership algebra as a logical framework for equational specification,cusses in detail how many total and partial equational specification formalisms, including order-sorted algebra and . membership equational logic, can be represented in it, as well as the practical benefits in terms of tool reusability that this opens up for other languages, including CASL.
否决
发表于 2025-3-23 14:36:13
http://reply.papertrans.cn/83/8234/823384/823384_12.png
爆炸
发表于 2025-3-23 21:07:24
Static semantic analysis and theorem proving for CASL,order logic . of the logical framework Isabelle are discussed: the first one from . to . via . (partial first-order logic) first drops subsorting and then partiality, and the second one is the counterpart via . (subsorted first-order logic). Finally, we sketch an integration of the embedding of CASL into the UniForM Workbench.
ablate
发表于 2025-3-23 22:15:48
Zero-safe nets: The individual token approach, locates a distinguished transaction. In the second part of the paper, following the . approach, we make use of category theory to analyze and motivate our framework. More precisely, the operational semantics of zero-safe nets is characterized as an adjunction, and the derivation of abstract P/T nets as a coreflection.
brassy
发表于 2025-3-24 03:23:22
http://reply.papertrans.cn/83/8234/823384/823384_15.png
Tremor
发表于 2025-3-24 07:13:01
An algebra of mixin modules,s (namely, sum, reduct and freeze), which are characterized by a small set of axioms. We show that the given axiomatization is sound w.r.t. to a model provided in some preceding work. Finally, we prove the existence of a normal form for mixin expressions.
TRUST
发表于 2025-3-24 14:10:38
http://reply.papertrans.cn/83/8234/823384/823384_17.png
使入迷
发表于 2025-3-24 15:41:03
Modular aspects of rewrite-based specifications,new properties of term rewriting systems related to collapsing reductions: . and .. We discuss these properties w.r.t. well-known confluence, and normal form properties, and show that they are modular consistency for left-linear systems, but not in general.
水汽
发表于 2025-3-24 20:49:25
http://reply.papertrans.cn/83/8234/823384/823384_19.png
Conduit
发表于 2025-3-25 02:27:43
Conference proceedings 1998encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.