Titlebook: Recent Trends in Data Type Specification; 11th Workshop on Spe Magne Haveraaen,Olaf Owe,Ole-Johan Dahl Conference proceedings 1996 Springer

責(zé)難

空氣

PLE

Anthology

敵手

使成波狀

Conference proceedings 1996bstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995..The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic sp

好開玩笑

On the role of category theory in the area of algebraic specifications,basic results for particular specification logics in a uniform manner. The specification logics considered are: equational logic for total algebras, conditional equational logic for partial algebras, and rewrite logic for concurrent systems.

malapropism

Glossy

厭倦嗎你

,Reification — Changing viewpoint but preserving truth,emporal logic. Temporal formulae which incorporate action symbols have to be treated carefully under the presence of reification..In this paper we propose the so-called reification logic by extending a linear temporal logic by the concept of transaction. A transaction is a logical unit of a specific