A coalgebraic semantics of subtyping

Electronic Notes in Theoretical Computer Science

Volumn 33, Issue , 2000, Pages 276-293

  Poll, Erik ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; DATA ACQUISITION; FUNCTIONS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; THEOREM PROVING;

CLIENT CODES; COALGEBRAIC; COVARIANT RULES; SUBTYPING;

SEMANTICS;

EID: 18944371688     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80352-4     Document Type: Conference Paper

References (18)

1. America Pierre. Inheritance and Subtyping in a Parallel Object-Oriented Language. Bezivin J., et al. ECOOP'87, volume 276 of Lecture Notes in Computer Science. 1987;232-242 Springer
2. Bruce Kim B., Cardelli Luca, Castagna Giuseppe, the Hopkins Objects Group (Jonathan Eifrig, Scott Smith, Valery Trifonov), Leavens Gary T., Benjamin Pierce. On Binary Methods. Theory and Practice of Object Systems. 1:(3):1996;221-242
3. William R.Cook, Hill Walter L., Canning Peter S. Inheritance is not subtyping. Principles of Programming Languages (POPL). ACM. 1990;125-135
4. Cardelli Luca, Wegner Peter. On understanding types, data abstraction and polymorphism. Computing Surveys. 17:(4):1985;471-522
5. Hensel Ulrich, Huisman Marieke, Jacobs Bart, Tews Hendrik. Reasoning about classes in object-oriented languages: Logical models and tools. Hankin Ch. European Symposium on Programming (ESOP), number 1381 in Lecture Notes in Computer Science. 1998;105-121 Springer, Berlin
6. Hofmann Martin, Pierce Benjamin C. A unifying type-theoretic framework for objects. Journal of Functional Programming. 5:(4):1995;593-635
7. Jacobs Bart. Invariants, bisimulations and the correctness of coalgebraic refinements. Johnson M. Algebraic Methodology and Software Technology (AMAS'97), LNCS. 1997;276-291 Springer
8. Jacobs Bart, Rutten Jan. A tutorial on (co)algebras and (co)induction. EATCS Bulletin. June 1997
9. Liskov Barbara H. Data abstraction and hierarchy. SIGPLAN Notices. 23:(3):1988
10. Liskov Barbara H., Wing Jeannette M. A behavioral notion of subtyping. TOPLAS. 16:(6):November1994;1811-1841
11. Leavens Gary T., Weihl William E. Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica. 32:(8):November1995;705-778
12. Maung Ian. On simulation, subtyping and substitutability in sequential object systems. Formal Aspects of Computing. 7:(6):1995;620-651
13. Meyer Bertrand. Object-Oriented Software Construction. 2nd rev. edition :1997;Prentice Hall
14. Mitchell John C. Toward a typed foundation for method specialization and inheritance. Principles of Programming Languages (POPL). ACM. 1990;109-124
15. Poll Erik. Subtyping and Inheritance for Categorical Datatypes. Theories of Types and Proofs (TTP) - Kyoto, RIMS Lecture Notes. 1023:1997;112-125 Kyoto University Research Institute for Mathematical Sciences
16. Poll Erik. Behavioural subtyping for a type-theoretic model of objects. Foundations of Object-Oriented Languages (FOOL5). 1998
17. Reichel Horst. An approach to object semantics based on terminal co-algebras. Mathematical Structures in Computer Science. 5:1995;129-152
18. Rutten Jan. Universal co-algebra: a theory of systems. CWI report 9652, CWI. 1996