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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 260, Issue 1-2, 2001, Pages 3-25

Semantic constructions for the specification of objects

(1) Cîrstea, Corina a

a UNIVERSITY OF OXFORD (United Kingdom)

Author keywords

Algebraic specification; Cofree algebra; Final algebra; Semantics

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; DATA STRUCTURES;

COFREE ALGEBRA;

COMPUTATIONAL LINGUISTICS;

EID: 0034918432 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00120-1 Document Type: Article

Times cited : (3)

References (18)

1
- 0003606509
- Cambridge University Press, Cambridge
- (1994) Handbook of Categorical Algebra , vol.1
- Borceux, F.¹

2
- 84957888913
- Coalgebra semantics for hidden algebra: Parameterised objects and inheritance
- F. Parisi-Presicce (Ed.), Recent Trends in Algebraic Development Techniques, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1376
- Cîrstea, C.¹

3
- 0001604019
- A complete calculus for equational deduction in coalgebraic specification
- F. Parisi-Presicce (Ed.), Recent Trends in Algebraic Development Techniques, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1376
- Corradini, A.¹

4
- 0003735136
- Technical Report, Japan Advanced Institute for Science and Technology
- (1998) Behavioural coherence in object-oriented algebraic specification
- Diaconescu, R.¹

5
- 0000787322
- Familles universelles de morphismes
- (1979) Ann. Soc. Sci. Bruxelles , vol.93 , Issue.3 , pp. 175-195
- Diers, Y.¹

6
- 0013306395
- New concepts for amalgamation and extension in the framework of specification logics
- M. Bidoit, C. Choppy (Eds.), Recent Trends in Data Type Specification, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.655
- Ehrig, H.¹ Baldamus, M.² Orejas, F.³

7
- 0003307585
- Fundamentals of algebraic specification 1: Equations and initial semantics
- W. Brauer, G. Rozenberg, A. Salomaa (Eds.), Springer, Berlin
- (1985) EATCS Monographs on TCS , vol.6
- Ehrig, H.¹ Mahr, B.²

8
- 0002789583
- Types as theories
- G.M. Reed, A.W. Roscoe, R.F. Wachter (Eds.), Oxford University Press, Oxford
- (1991) Topology and Category Theory in Computer Science , pp. 357-390
- Goguen, J.¹

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

10
- 0003395304
- Technical Report CS97-538, UCSD
- (1997) A hidden agenda
- Goguen, J.¹ Malcolm, G.²

11
- 0002424767
- An initial algebra approach to the specification, correctness, and implementation of abstract data types
- R. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, NJ
- (1978) Current Trends in Programming Methodology. Data Structuring , vol.4 , pp. 80-149
- Goguen, J.¹ Thatcher, J.² Wagner, E.³

12
- 85088773714
- On fibred adjunctions and completeness for fibred categories
- H. Ehrig, F. Orejas (Eds.), Recent Trends in Data Type Specification, Springer, Berlin
- (1993) Lecture Notes in Computer Science , vol.785
- Hermida, C.¹

13
- 0002715717
- Objects and classes, coalgebraically
- B. Freitag, C.B. Jones, C. Lengauer, H.-J. Schek (Eds.), Kluwer Academic Publishers, Dordrecht
- (1996) Object Orientation with Parallelism and Persistence , pp. 83-103
- Jacobs, B.¹

14
- 0003554030
- Technical Monograph PRG-114, Oxford University
- (1994) Proving correctness of refinement and implementation
- Malcolm, G.¹ Goguen, J.²

15
- 0033095780
- Coalgebraic logic
- (1999) Ann. Pure Appl. Logic , vol.96 , pp. 277-317
- Moss, L.S.¹

16
- 19044370208
- Dialgebraic logics
- B. Jacobs, L. Moss, H. Reichel, J. Rutten (Eds.), Proceedings, Coalgebraic Methods in Computer Science, Elsevier Science, Amsterdam
- (1998) Electronic Notes in Theoretical Computer Science , vol.11 , pp. 247-255
- Reichel, H.¹

17
- 84867810012
- Hidden congruent deduction
- R. Caferra, G. Salzer (Eds.), Automated Deduction in Classical and Non-Classical Logics, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1761 , pp. 251-266
- Roşu, G.¹ Goguen, J.²

18
- 0001986854
- Universal coalgebra: A theory of systems
- (2000) Theoret. Comput. Sci. , vol.249 , pp. 3-80
- Rutten, J.¹

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