名词
发表于 2025-3-30 09:54:00
http://reply.papertrans.cn/83/8235/823426/823426_51.png
GROVE
发表于 2025-3-30 16:11:00
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
发表于 2025-3-30 19:56:15
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
半身雕像
发表于 2025-3-30 21:59:48
http://reply.papertrans.cn/83/8235/823426/823426_54.png
首创精神
发表于 2025-3-31 00:52:33
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
发表于 2025-3-31 05:03:18
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
发表于 2025-3-31 09:26:59
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
发表于 2025-3-31 15:45:12
http://reply.papertrans.cn/83/8235/823426/823426_58.png
crutch
发表于 2025-3-31 18:41:00
http://reply.papertrans.cn/83/8235/823426/823426_59.png
oblique
发表于 2025-3-31 23:56:05
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