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

메뉴 건너뛰기

RAIRO - Theoretical Informatics and Applications

Volumn 35, Issue 1, 2001, Pages 61-81

A coalgebraic semantics of subtyping

a RADBOUD UNIVERSITY NIJMEGEN (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING;

COALGEBRAIC SEMANTICS; SUBTYPING;

SEMANTICS;

EID: 17844401467 PISSN: 09883754 EISSN: 28047346 Source Type: Journal
DOI: 10.1051/ita:2001109 Document Type: Article

Times cited : (5)

References (29)

1
- 0003345509
- A theory of objects
- Springer
- (1996) Monogr. Comput. Sci.
- Abadi, M.¹ Cardelli, L.²

2
- 84934149115
- Inheritance and subtyping in a parallel object-oriented language
- in ECOOP'87, edited by J. Bezivin et al., Springer
- (1987) Lecture Notes in Comput. Sci. , vol.276 , pp. 232-242
- America, P.¹

3
- 84974720115
- Designing an object-oriented languages with behavioural subtyping
- in Foundations of Object Oriented Languages, edited by J.W. de Bakker et al.. Springer
- (1991) Lecture Notes in Comput. Sci. , vol.489 , pp. 60-90
- American, P.¹

4
- 0002277179
- On behavioural subtyping in LOTOS
- edited by H. Bowman and J. Derrick. Chapman and Hall
- (1997) FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems , pp. 335-351
- Bowman, H.¹ Briscoe-Smith, C.² Derrick, J.³ Strulo, B.⁴

5
- 0029461481
- The Hopkins Objects Group (J. Eifrig, S. Smith, V. Trifonov), in On Binary Methods, edited by G.T. Leavens and B.C. Pierce
- (1996) Theory and Practice of Object Systems , vol.1 , pp. 221-242
- Bruce, K.B.¹ Cardelli, L.² Castagna, G.³

6
- 0022333721
- On understanding types, data abstraction and polymorphism
- (1985) Computing Surveys , vol.17 , pp. 471-522
- Cardelli, L.¹ Wegner, P.²

7
- 4544359798
- A semantic foundation for specification matching
- edited by G.T. Leavens and M. Sitaraman. Cambridge University Press; Chap. 5
- (2000) Foundations of Component-Based Systems , pp. 91-109
- Chen, Y.¹ Cheng, B.H.C.²

8
- 0025229172
- Inheritance is not subtyping
- ACM
- (1990) Principles of Programming Languages (POPL) , pp. 125-135
- Cook, W.R.¹ Hill, W.L.² Canning, P.S.³

9
- 0029537754
- Forcing behavioral subtyping through specification inheritance
- Proc. 18th International Conference on Software Engineering, Berlin, Germany. IEEE (1996) , pp. 258-267
- Dhara, K.K.¹ Leavens, G.T.²

10
- 0004180902
- The MIT Press
- (1994) Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design
- Gunter, C.A.¹ Mitchell, J.C.²

11
- 84947742394
- Reasoning about classes in object-oriented languages: Logical models and tools
- in European Symposium on Programming (ESOP), edited by Ch. Hankin. Springer
- (1998) Lecture Notes in Comput. Sci. , vol.1381 , pp. 105-121
- Hensel, U.¹ Huisman, M.² Jacobs, B.³ Tews, H.⁴

12
- 0015482118
- Proof of correctness of data representations
- (1972) Acta Informatica , vol.1 , pp. 271-281
- Hoare, C.A.R.¹

13
- 21844485882
- A unifying type-theoretic framework for objects
- (1995) J. Funct. Programming , vol.5 , pp. 593-635
- Hofmann, M.¹ Pierce, B.C.²

14
- 84947930619
- Invariants, bisimulations and the correctness of coalgebraic refinements
- in Algebraic Methodology and Software Technology (AMAST'97), edited by M. Johnson. Springer
- (1997) Lecture Notes in Comput. Sci. , pp. 276-291
- Jacobs, B.¹

15
- 0000892681
- A tutorial on (co)algebras and (co)induction
- (1997) EATCS Bull. , vol.62 , pp. 222-259
- Jacobs, B.¹ Rutten, J.²

16
- 0034144976
- A complete algebraic characterization of behavioral subtyping
- (2000) Acta Informatica , vol.36 , pp. 617-663
- Leavens, G.T.¹ Pigozzi, D.²

17
- 21844511974
- Specification and verification of object-oriented programs using supertype abstraction
- (1995) Acta Informatica , vol.32 , pp. 705-778
- Leavens, G.T.¹ Weihl, W.E.²

18
- 84976686428
- Data abstraction and hierarchy
- (1988) SIGPLAN Notices , vol.23
- Liskov, B.H.¹

19
- 0028548263
- A behavioral notion of subtyping
- (1994) TOPLAS , vol.16 , pp. 1811-1841
- Liskov, B.H.¹ Wing, J.M.²

20
- 0000661757
- On simulation, subtyping and substitutability in sequential object systems
- (1995) Formal Aspects of Computing , vol.7 , pp. 620-651
- Maung, I.¹

21
- 0003578795
- Prentice Hall, 2nd Rev. Edition
- (1997) Object-Oriented Software Construction
- Meyer, B.¹

22
- 0025229171
- Toward a typed foundation for method specialization and inheritance
- ACM
- (1990) Principles of Programming Languages (POPL) , pp. 109-124
- Mitchell, J.C.¹

23
- 84972274325
- Simple type-theoretic foundations for object-oriented programming
- (1994) J. Funct. Programming , vol.4 , pp. 207-247
- Pierce, B.C.¹ Turner, D.N.²

24
- 84878646424
- Subtyping and inheritance for categorial datatypes
- in Theories of Types and Proofs (TTP-Kyoto). Kyoto University Research Institute for Mathematical Sciences
- (1997) RIMS Lecture Notes , vol.1023 , pp. 112-125
- Poll, E.¹

25
- 0004563135
- Behavioural subtyping for a type-theoretic model of objects
- (1998) Foundations of Object-Oriented Languages (FOOL5)
- Poll, E.¹

26
- 84976111956
- An approach to object semantics based on terminal co-algebras
- (1995) Math. Structures Comput. Sci. , vol.5 , pp. 129-152
- Reichel, H.¹

27
- 0003919590
- Universal co-algebra: A theory of systems
- CWI
- (1996) CWI Report 9652
- Rutten, J.¹

28
- 0000204310
- Essential concepts of algebraic specification and program development
- (1997) Formal Aspects of Computing , vol.9 , pp. 229-269
- Sannella, D.¹ Tarlecki, A.²

29
- 84987239470
- Encapsulation and inheritance in object-oriented programming languages
- OOPSLA '86 Conference Proceedings, edited by N. Meyrowitz. Portland, Oregon (1986)
- (1986) ACM SIGPLAN , vol.21 , pp. 38-45
- Snyder, A.¹

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