Titlebook: Recent Trends in Data Type Specification; 9th Workshop on Spec Hartmut Ehrig,Fernando Orejas Conference proceedings 1994 Springer-Verlag Be

Hot-Flash

暫停,間歇

Water-Brash

鑒賞家

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

挖掘

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

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.

連鎖,連串

MEN

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

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.