Titlebook: Recent Trends in Data Type Specification; 7th Workshop on Spec H. Ehrig,K. P. Jantke,H. Reichel Conference proceedings 1991 Springer-Verlag

名词

GROVE

Towards object-oriented algebraic specifications,e combined in such a way, that declaration and manipulation of objects become basic features of specification. As class definitions algebraic module specifications with import and export interface, parameter and body part are used, with module interconnection mechanisms like union and extension to s

Cosmopolitan

Inductive completion for transformation of equational specifications,iqueness of normal forms is not guaranteed. As the problem of operational completeness is undecidable, one may only expect a technique applicable to an enumerable number of cases. The . completion procedure may fail either by generating a critical pair which can not be oriented to form a new rewrite

半身雕像

首创精神

Constraints for behavioural specifications,respond to the completely defined subparts of a given incomplete behavioural specification. Moreover, the . observability criteria used within a behavioural constraint can differ from the global criteria used in the behavioural specification. This is absolutely needed because, otherwise, some constr

GLUT

A 2-category approach to critical pair completion,syntacic surface. This insight is a sufficient basis to transfer the CPC algorithm scheme to other formalisms. In mathematics on the metalevel only product types have been used so far. But, in recently used higher order formalisms the function type came additionally into use..There are serious reaso

expire

A kernel specification formalism with higher-order parameterisation,rence system for proving that an object satisfies a specification. The inference system incorporates, but is not limited to, a clearly identified type-checking component..Special effort is made to carefully distinguish between parameterised specifications, which denote functions yielding classes of

goodwill

crutch

oblique

Conference proceedings 1991d theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop onSpecification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COM