SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 285, Issue 2, 2002, Pages 289-318

Logical foundations of CafeOBJ

(2) Diaconescu, Rǎzvan a Futatsugi, Kokichi a

a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY (Japan)

Author keywords

Algebraic specification; Behavioural specification; CafeOBJ; Institutions

Indexed keywords

BOOLEAN ALGEBRA; OBJECT ORIENTED PROGRAMMING; RAPID PROTOTYPING; SEMANTICS;

ALGEBRAIC SPECIFICATION LANGUAGE;

FORMAL LOGIC;

EID: 0037190142 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00361-9 Document Type: Article

Times cited : (86)

References (40)

1
- 85035009423
- The semantics of Clear, a specification language
- D. Bjorner (Ed.), Springer, Berlin, Lecture Notes in Computer Science, Vol. 86; based on unpublished notes handed out at the Symposium on Algebra and Applications, Stefan Banach Center, Warsaw, Poland, 1978
- (1980) Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification , pp. 292-332
- Burstall, R.¹ Goguen, J.²

2
- 18944369836
- Incompleteness of behavioural logics
- H. Reichel (ed.), Electronic Notes in Theoretical Computer Science, Elsevier Science, Amsterdam
- (2000) Coalgebraic Methods in Computer Science , vol.33 , pp. 61-79
- Buss, S.¹ Roşu, G.²

3
- 19144364639
- Principles of Maude
- Elseiver Science, Amsterdam, Proc., 1st Internat. Workshop on Rewriting Logic and its Applications, Asilomar, CA, September 1996
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Clavel, M.¹ Eker, S.² Lincoln, P.³ Meseguer, J.⁴

4
- 0000452330
- Weak inclusion systems
- (1997) Math. Struct. Comput. Sci. , vol.7 , Issue.2 , pp. 195-206
- Cǎzǎnescu, V.E.¹ Roşu, G.²

5
- 0003919233
- DPhil. Thesis, University of Oxford
- (1994) Category-based semantics for equational and constraint logic programming
- Diaconescu, R.¹

6
- 84976168891
- Completeness of category-based equational deduction
- (1995) Math. Struct. Comput. Sci. , vol.5 , Issue.1 , pp. 9-41
- Diaconescu, R.¹

7
- 0003755368
- October, unpublished manuscript
- (1996) Behavioural rewriting logic: Semantic foundations and proof theory
- Diaconescu, R.¹

8
- 4243244498
- Technical Report IS-RR-96-0006S, Japan Advanced Institute for Science and Technology
- (1996) Completeness of semantic paramodulation: a category-based approach
- Diaconescu, R.¹

9
- 19144369651
- Foundations of behavioural specification in rewriting logic
- Elseiver Science, Amsterdam, Proc., 1st Internat. Workshop on Rewriting Logic and its Applications. Asilomar, CA, September 1996
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Diaconescu, R.¹

10
- 84875108612
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- A preliminary version appeared as JAIST Technical Report IS-RR-97-0032F in 1997
- (1998) J. Appl. Categorical Struct. , vol.6 , Issue.4 , pp. 427-453
- Diaconescu, R.¹

11
- 0009931260
- Category-based constraint logic
- (2000) J. Math. Struct. Comput. Sci. , vol.10 , Issue.3 , pp. 373-407
- Diaconescu, R.¹

12
- 0009940859
- Grothendieck institutions, IMAR Preprint 2-2000, Institute of Mathematics of the Romanian Academy, February, ISSN 250-3638
- (2000)
- Diaconescu, R.¹

13
- 0003735134
- World Scientific, Singapore
- (1998) CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, of AMAST Series in Computing , vol.6
- Diaconescu, R.¹ Futatsugi, K.²

14
- 0001858965
- Behavioural coherence in object-oriented algebraic specification
- First version appeared as JAIST Technical Report IS-RR-98-0017F, June 1998
- (2000) J. Universal Comput. Sci. , vol.6 , Issue.1 , pp. 74-96
- Diaconescu, R.¹ Futatsugi, K.²

15
- 67649662693
- Component-based algebraic specification and verification in CafeOBJ
- J.M. Wing, J. Woodcock, J. Davies (Eds.), FM'99 -- Formal Methods, Springer Berlin
- (1999) Lecture Notes in Computer Science , vol.1709 , pp. 1644-1663
- Diaconescu, R.¹ Futatsugi, K.² Iida, S.³

16
- 0001977008
- CafeOBJ jewels
- K. Futatsugi, A. Nakagawa, T. Tamai (Eds.), Elsevier, Amsterdam
- (2000) Cafe: An Industrial-Strength Algebraic Formal Method
- Diaconescu, R.¹ Futatsugi, K.² Iida, S.³

17
- 0001849324
- Logical support for modularisation
- G. Huet, G. Plotkin (Eds.), Cambridge University Press, Cambridge, Proc. a Workshop held in Edinburgh, Scotland, May 1991
- (1993) Logical Environments , pp. 83-130
- Diaconescu, R.¹ Goguen, J.² Stefaneas, P.³

18
- 25344448749
- Technical Report IS-RR-98-0014F, Japan Advanced Institute for Science and Technology
- (1998) Categorical foundations of modularization for multi-paradigm languages
- Diaconescu, R.¹ Stefaneas, P.²

19
- 0022188648
- Principles of OBJ2
- ACM, New York
- (1985) Proc. 12th ACM Symp. on Principles of Programming Languages , pp. 52-66
- Futatsugi, K.¹ Goguen, J.² Jouannaud, J.-P.³ Meseguer, J.⁴

20
- 0004328572
- MIT Press, Cambridge, MA, in preparation
- (2002) Theorem Proving and Algebra
- Goguen, J.¹

21
- 0026444654
- Institutions: Abstract model theory for specification and programming
- (1992) J. ACM , vol.39 , Issue.1 , pp. 95-146
- Goguen, J.¹ Burstall, R.²

22
- 84973942003
- An Oxford survey of order sorted algebra
- (1994) Math. Struct. Comput. Sci. , vol.4 , Issue.4 , pp. 363-392
- Goguen, J.¹ Diaconescu, R.²

23
- 84969364034
- Towards an algebraic semantics for the object paradigm
- H. Ehrig, F. Orejas (Eds.), Springer, Berlin
- (1994) Recent Trends in Data Type Specification, Lecture Notes in Computer Science , vol.785 , pp. 1-34
- Goguen, J.¹ Diaconescu, R.²

24
- 0003395304
- Technical Report CS97-538, University of California at San Diego
- (1997) A hidden agenda
- Goguen, J.¹ Malcolm, G.²

25
- 0003151644
- Eqlog: Equality, types, and generic modules for logic programming
- D. DeGroot, G. Lindstrom (Eds.), Prentice-Hall, Englewood Cliffs, NJ, An earlier version appears in J. Logic Programming, 1(2) (1984) 179-210
- (1986) Logic Programming: Functions, Relations and Equations , pp. 295-363
- Goguen, J.¹ Meseguer, J.²

26
- 0002712736
- Unifying functional, object-oriented and relational programming, with logical semantics
- B. Shriver, P. Wegner (Eds.), MIT Press, Cambridge, MA, Preliminary version in SIGPLAN Notices 21(10) (1986) 153-162
- (1987) Research Directions in Object-Oriented Programming , pp. 417-477
- Goguen, J.¹ Meseguer, J.²

27
- 0027116146
- Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Also, Programming Research Group Technical Monograph PRG-80, Oxford University, December 1989
- (1992) Theoret. Comput. Sci. , vol.105 , Issue.2 , pp. 217-273
- Goguen, J.¹ Meseguer, J.²

28
- 0009931075
- An initial algebra approach to the specification, correctness and implementation of abstract data types
- R. Yeh (Ed.), Technical Report RC 6487, IBM T.J. Watson Research Center, October, Prentice-Hall Englewood Cliffs, NJ
- (1976) Current Trends in Programming Methodology, IV , pp. 80-149
- Goguen, J.¹ Thatcher, J.² Wagner, E.³

29
- 0003347217
- Introducing OBJ
- J. Goguen, G. Malcolm (Eds.), Kluwer, Dordrecht
- (2000) Software Engineering with OBJ: Algebraic Specification in Action
- Goguen, J.¹ Winkler, T.² Meseguer, J.³ Futatsugi, K.⁴ Jouannaud, J.-P.⁵

30
- 0001091714
- Catégories fibrées et descente
- Exposé VI, Institut des Hautes Études Scientifiques, Reprinted in Lecture Notes in Mathematics, Vol. 224, Springer, Berlin, 1971, pp. 145-94
- (1963) Revêtements étales et groupe fundamental, Séminaire de Géométrie Algébraique du Bois-Marie 1960/61
- Grothendieck, A.¹

31
- 84958952568
- Observational logic
- A.M. Haeberer (Ed.), Algebraic Methodology and Software Technology, Springer, Berlin, Proc. AMAST'99
- (1999) Lecture Notes in Computer Science , vol.1584 , pp. 263-277
- Hennicker, R.¹ Bidoit, M.²

32
- 0009935787
- Foundations for rewriting logic
- K. Futatsugi (Ed.), Kanazawa, Japan
- (2000) The 3rd Internat. Workshop on Rewriting Logic and its Applications
- Hilberdink, H.¹

33
- 0009931076
- Component-based algebraic specification: - Behavioural specification for component-based software engineering
- Kluwer, Dordrecht
- (1999) Behavioral Specifications of Businesses and Systems , pp. 103-119
- Iida, S.¹ Futatsugi, K.² Diaconescu, R.³

34
- 0004280509
- Springer, Berlin
- (1998) Categories for the Working Mathematician, 2nd ed.
- MacLane, S.¹

35
- 0003616116
- Technical Report SRI-CSL-90-02R, SRI International, Computer Science Laboratory, February, Revised June 1990
- (1990) Rewriting as a unified model of concurrency
- Meseguer, J.¹

36
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoret. Comput. Sci. , vol.96 , Issue.1 , pp. 73-155
- Meseguer, J.¹

37
- 84957873927
- Membership algebra as a logical framework for equational specification
- F. Parisi-Pressice (Ed.), Proc. WADT'97, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1376 , pp. 18-61
- Meseguer, J.¹

38
- 0002928286
- Initiality, induction and computability
- M. Nivat, J. Reynolds (Eds.), Cambridge University Press, Cambridge
- (1985) Algebraic Methods in Semantics , pp. 459-541
- Meseguer, J.¹ Goguen, J.²

39
- 0003137007
- Indexed categories and their applications
- Springer, Berlin, chapter Abstract Families and the Adjoint Functor Theorems
- (1978) Lecture Notes in Mathematics , vol.661 , pp. 1-125
- Paré, R.¹ Schumacher, D.²

40
- 0026383194
- Some fundamental algebraic tools for the semantics of computation, Part 3: Indexed categories
- Also, Monograph PRG-77, August 1989, Programming Research Group, Oxford University
- (1991) Theoret. Comput. Sci. , vol.91 , pp. 239-264
- Tarlecki, A.¹ Burstall, R.² Goguen, J.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.