Titlebook: Recent Trends in Data Type Specification; 10th Workshop on Spe Egidio Astesiano,Gianna Reggio,Andrzej Tarlecki Conference proceedings 1995

陰險(xiǎn)

Combining algebra and universal algebra in first-order theorem proving: The case of commutative rinsuperposition calculus are redundant. This result is obtained by the judicious application of the simplification techniques afforded by convergent rewriting and by a process called symmetrization that embeds inferences between single clauses and ring axioms.

戲法

Hamper

GRUEL

Dynamic abstract data types based on algebraic graph transformations,gebraic graph transformations. The concept of attributed graph transformations is used to define this new version of dynamic abstract data types and to show some important properties of the corresponding transition category. The constructions are illustrated by a small example from the area of data bases.

浪費(fèi)時(shí)間

Axiomatic specification of large information systems: Experiences and consequences,oblematic issues are pointed out regarding the results of the case study, and proposals for a further improvement are made. The systematic usage of a hybrid approach mixing semi-formal and formal notation is strongly recommended for the precise specification of large application systems.

cardiopulmonary

neutral-posture

網(wǎng)絡(luò)添麻煩

From abstract data types to logical frameworks,fication and programming paradigms can be cleanly combined with the equational one; we discuss several of these extensions, including rewriting logic, which unifies equational, Horn, object-oriented, and concurrent specification and programming..These two lines of research converge in the idea of a

HIKE

Transactions in object-oriented specifications,trarily interleaved. We envisage a denotational semantics based on event structures in which the sequential composition of transactions can be appropriately liberalized and outline the ideas by giving some examples.

妨礙

Local specification of distributed families of sequential objects,as initial elements, and so has the full subcategory of those satisfying given temporal axioms. As in abstract data type theory, these initial elements are obvious candidates for assigning standard semantics to signatures and specifications.