Razvan Diaconescu and Kokichi Futatsugi. Logical semantics for CafeOBJ. In Precise Semantics for Software Modeling Techniques, pages 31-54. Proceedings of an ICSE'98 workshop held in Kyoto, Japan, published as Technical Report TUM-I9803, Technical University Munchen, 1998.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....often alized language2 tool hei= engthsd particular . Using P L,e s XG mWb)bin y with arably smt e ort. It] e literalP , sevL l approaches to94 5 been developed [5, 6, 11, 15] The most min; is Caf eOBJ w cub of eight 6xa twelvew jec Z s (form1a 0. 66 i( t among them [7], 0 a semantics bo noh pJ [6] How , not only between , but encoding ap called F1 c(X f relevant=K [15x6 ( besidkBhesr9dei oretic) hd t integrati l i via bridges has tK esyv[I goald this paper iVl h resp. #t )l 168 2 I(z s, 1H x We now ret8 K s ....

R. Diaconescu and K. Futatsugi. Logical semantics of CafeOBJ. Technical report, JAIST, 1996. IS-RR-96-0024S.

....speci cation, these strengths can be combined with comparably small e ort. In the literature, several approaches to heterogeneous speci cation have been developed [2, 5, 8 10, 16, 24] The most prominent approach is Caf eOBJ with its cube of eight logics and twelve projections among them [11], having a semantics based on the notion of Grothendieck institution [9] However, not only projections between logics, but also logic encodings are relevant to heterogeneous speci cation [24, 16] Moreover, besides these model theoretic approaches, also the need of integrating di erent proof ....

R. Diaconescu and K. Futatsugi. Logical semantics of CafeOBJ. Technical report, JAIST, 1996. IS-RR-96-0024S.

....many software processors tools. It can also provide clear operational semantics for coordinations of processors tools in Cafe environment. Although rewriting logic[20, 21] is the main logic, Cafe is multi logic environment and it based on several logics which related eachother in a systematic way. [23] shows the well structured appoach for providing the most appropriate semantics through combining underling logics by need. Methodologies Nowadays, so called object oriented software development methodologies are considered to be most usable and promising by the practitioners. However, these ....

Razvan Diaconescu and Kokichi Futatsugi, "Logical Semantics for CafeOBJ ", CafeOBJ Project Workshop, August, 1996.

.... CafeOBJ CafeOBJ [3, 6] is a multi paradigm algebraic specification language which is a successor of OBJ[5, 10] CafeOBJ is based on the combination of several logics consisting of many sorted algebra, order sorted algebra[9] hidden algebra[8] and rewriting logic[15] According to its semantics [4, 3], CafeOBJ can fit several specification (and programming) paradigms such as equational specification (and programming) rewriting logic specification (and programming) behavioural concurrent specification (and programming) The equational specification (and programming) part is mostly inherited ....

Razvan Diaconescu and Kokichi Futatsugi. Logical semantics for CafeOBJ. In ICSE'98 Workshop on Precise Semantics for Software Modeling Techniques, April 1998.

No context found.

Razvan Diaconescu and Kokichi Futatsugi. Logical semantics for CafeOBJ. In Precise Semantics for Software Modeling Techniques, pages 31-54. Proceedings of an ICSE'98 workshop held in Kyoto, Japan, published as Technical Report TUM-I9803, Technical University Munchen, 1998.

No context found.

R. Diaconescu and K. Futatsugi. Logical Semantics of CafeOBJ. In: PSMT -Workshop on Precise Semantics for Software Modeling Techniques. Technical Report TUM-I9803, Technische Universitat Munchen, 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC