Loading...
Please wait, while we are loading the content...
Similar Documents
Logical semantics for cafeobj.
| Content Provider | CiteSeerX |
|---|---|
| Author | Diaconescut, Razvan Futatsugi, Kokichi Diaconescu, Razvan |
| Abstract | This document presents the semantics of CafeOBJ system and language (see [11]). CafeOBJ can be seen as a succesor of the famous algebraic specification a d programming language OBJ [24, 10] but adding several new paradigms to the traditional OBJ language, such as specification of concurrent systems, object-orientation, a d behavioural specification. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Logical Semantics Behavioural Specification Cafeobj System Famous Algebraic Specification Language Obj Several New Paradigm Concurrent System Traditional Obj Language |
| Content Type | Text |