Titlebook: Recent Trends in Algebraic Development Techniques; 12th International W Francesco Parisi Presicce Conference proceedings 1998 Springer-Verl

Exaggerate

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.

否决

爆炸

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

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

Tremor

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

使入迷

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.

水汽

Conduit

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.